 As an assignment to variable S can come from either class K1 or K2, the deduction violates the inheritance characteristic of tautology, i.e.the derivation must yield an (evaluation of a formula) that will fall into class K1.From this, Post was able to derive the following definition of inconsistency "without the use of the notion of contradiction"