Trenching on Axiom !Axiom !x