Started from the axioms now we’re here