Because the axioms is first, these people are not easy