Axiom Tramming Procedure