Do not produce tautologies or misformed sentences