Dear Simon, I explained this in one of the lectures after your email. Things that are true at the conclusion of a use case are known as postconditions.For instance, the items that a use case must handle before terminating. It could be a print statement or saving some data.