going to war with the philosophy of math.