We know how to enforce preconditions, but how do we force invariants for our attributes? As we see in this video, we do it much the same as for preconditions. But that is because we are going to prevent the user from accessing the attributes directly, and force them to use special methods instead.