lukeprog comments on Open Thread: Mathematics