op finished = Echec \/ Succes;

[] (finished => dead);
[] <> finished ;