#feedback This should be a video

Trick: Kick into the Domain

Step 1: Put the “obvious/background” stuff into the domain (context we don’t have to keep repeating).

• Domain = NYC residents in 10+ unit buildings.

Step 2: Focus the actual rule only on what matters.

• Rule = If OpNo ∧ 3+Ms → Right.