(1) A definition of what must be true when a task or process starts.
(2) A textual description defining a constraint on the system when a use case may start.
(3) A constraint that must be true when an operation is invoked.
(4)