Come up with good exercises

[hwayne]

Now that there's an exercise directive I can start putting exercises in the text. What are some good ones? Feel free to drop them here and I'll add some I like

[Seanny123]

There's a multi-car elevator example in TLA+ that I'm fond of, because its conceptually simple, but has a pretty huge state space.