Math is developed or discovered by man?