... of Rule 1 meaning if Z is in 1, then ... ** we discovered that If Z is in 1, then ... This is because if Z is in 1 then L ... />
The inference is Z cannot be in 1, and ... at least something is before Z. This is great and ... the case because we know Z cannot be in 1. ...