Axioma Factoring