... now know that L is always out because its negated. Also ... if you remember when the necessary condition is satisfied, the rule ... is attached to as a necessary condition just "falls way". Because ... , we know that necessary is satisfied since we always have a /L ...