An invariant is a condition that simply must always be true.