Add be-true and be-false operators
Add test summary
Add example
Reorganize