Results for Checkmann Axiomaticumericumericumeric