ryan_b comments on Why mathematics works