7.3 Default and Termination