The die is less than 4 if it is odd
L:
the die is less than 4
; O:
the die is odd
T
F
L
T
F
O
L ← O
L ← O
limit possibilities
ruled out by L to those
where O is
T
extend possibilities
left open by L to include
all those where O is
F