Extract bind-all
AND TRUE TRUE => TRUE
Finish test coverage of AND
Introduce NOT
OR