Proper termination rule