✅ Axiom

=== a statement, which is asserted to be true==