that we must stop in order to satisfy Task! */ G noTasks -> stopping
