BooleanOperators
Prop
collect
Prop