Preconditions indicate circumstances that must be true prior to the invocation of the Use Case. If preconditions have an ordered sequence, display them in an ordered list. If this Use Case depends on a previous Use Case's successful execution, list the previously executed Use Case in this section. If a precondition is not satisfied, the final state of the Use Case is undefined.