Axioms Amalgamated by MJ