take as an axiom