Note: At 1:30, I made a mistake calling the rule a bi-conditional. If it were a bi-conditional, then /Y→S. That’s just not true. /Y doesn't trigger S.
The correct interpretation of the rule is just a straight up "not both" rule, S→/Y.
Thanks to the 7Sagers who pointed this out.