... . We now know that L is always out because its ... that we have /L, anything that /L is attached to as ... For this one: P ---> /L, we know that necessary is ... we always have a /L so the rule becomes irrelevant ... cross this out. P ---> /L
...