Axiomet är ungefär detta : ”Alla