by ohthatpatrick Mon Jul 24, 2017 12:23 am
A correct answer has to give us the exact same game, which we can measure in two ways:
1. Does this new rule prevent anything that used to be allowed? (Is it too RESTRICTIVE?)
use previous work to find counterexamples to these new rules. If you have a counterexample, you know this new rule is not correct.
2. Does this new rule ALLOW something that used to be forbidden? (Is it too PERMISSIVE?)
test whether this new rule forces the same limitation that the rule we're replacing gave us
Basically, think about what "work" the old rule did:
in this case, it forced M - L
For each new rule we're offered, we'll ask ourselves, "Does this force L to be later than M?"