And, and If
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
The wedge symbol joins claims and reads "and"; the leftward arrow points from conclusion back to conditions and reads "if" — conclusion first, conditions after.
Show
Head ← body-one and body-two reads: the head, if both bodies hold — the rule form of this unit, now in symbols.
Watch for
The conclusion-first grammar runs against English habit; both grammars state the same fact.