starting to add tests of whether each connective can handle true and false assignments