Axioma 1.