Mathematics! Is it invented by humans or discovered by humans?