How has mathematics gotten so abstract?