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