Math in our heads