title: Do preconditions usually overlap with invariants?
body: <p>I'm having trouble differentiating the two. If they do not usually overlap, how are they different? What is an example of something that would be a precondition but not an invariant?</p>