"Only," "Except," and Superlatives
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
Identity unlocks exact-count and exclusivity claims.
Show
"Only Alice passed": Pa · (x)(Px ⊃ x = a). "Alice is tallest" (Txy: x is taller than y): (x)((Px · x ≠ a) ⊃ Tax).
Watch for
These translations run long. Build them clause by clause — the existence claim, then the exclusion clause.