Use custom true and false objects; move comment into docstring
Add tests for And
Note minisatp locations