title: Are invariants, tautologies?
body: <p>So I've come across the term invariants while reading the Assertions Java API. After I read the other articles on the net in my understanding invariants are tautologies. Did I misunderstand it?</p>