Title: Ordinary mathematics