Re: Laws of mathematics, not of men