Formalism (deductive) birthdays - Formalism (deductive) age