Three Grilley Axioms