Split first definitions into axiomatics due to "definition bug" in
Krakatoa.