analysis of types, constats, defintions, axioms, theorems, etc.