termination condition proof