Math for Real: There Are 10 Kinds of People . . .