Double Negation
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
p :: ~~p.
Show
"It's not the case that the motion didn't pass" — the motion passed.
Watch for
Trivial-looking, constantly needed: MT and DS demand exact negation matches, and DN is what manufactures them (194's cliffhanger, resolved).
Builds on
Unlocks
- Nothing yet depends on this.