The postconditions validate that the basic course and all alternate courses successfully achieved the stated goal of the Use Case. The postconditions are not necessarily true if an exception course was taken.