Axiom Mocha extension.