i can think of a bizarre sequence of events and tactics would could result in this happening given the substitution algorithm. I hadn't thought about this loophole before. I'll edit the GE to make a very explicit check that all people who should be out of the game are at every substitution.