axiom in wall e