Introduced basic axioms