Title: Definitions and Formulae in Mathematics IX and X