Обязательное соответствие и непротиворечие всех остальных