You have misunderstood: a) was devised as a way of definitively classifying AGMGTW and LKH as two separate stories. It fails two out of three tests: AGMGTW doesn't end with TBC, it's got a "will return in", and the pair aren't part of the same run, as this was a split series.