Exclusion

4th axiom & postulate of IIT