Laws of mathematics, not of men