Site uses cookies to provide basic functionality.

OK
Rules necessary for axioms. Not to demand in axioms any but things perfectly evident.