reveals a critical limitation of the state-of-the-art models in maintaining consistency.
we motivate our definition of consistency based on classical deductive logic (Tarski and Tarski, 1994) that defines a consistent theory as one that does not entail a contradiction.