How do you model use cases than can only operate under certain circumstances?
Therefore: Use pre- and post-conditions to control when use-cases are permissible.
