habryka comments on Why mathematics works