The tests above use the DSL too and test the whole truth table for each operation.