BothLeft
either
BothRight
either
before
DeltaOps
booleanReify
Reify