Title: Towards mathematics