Wall E Axiom Size