In the attachment, you say "If G does not work, then from the last constraint H does not work". Where do you get that from? But all we know from the last constraint is G ALWAYS follows H and just because G is not imminent, are you saying that H does not work? Please explain.