WHERE IS DILDO? was: Laws of mathematics, not of men