termination condition checked