a
BoolOps RichBoolOps
and
BoolOps
andThen
Pipe
apply
not