Axioms are now enqueued on vm init