good'' eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bound on the
wait time'' for an eventually to be fulfilled. That is, ...Hubert van den Bergh, Georges Wagnières, Tanja Gabrecht