Axiom slave to the system