Text this: The nature of properly human mathematics