With the "functionally equivalent" rule (i.e. if the wording is different, but the Master can't find a counterexample, the guess is correct) this might not be too hard to find.