...
The original statement is a conditional, when negated yields /u then ... again. It’s for negating conditional statements. It literally says "Negating the ... focus on a small part of the stimulus and the ... LG, the rule falls away) of the principle in the stimulus ...