Refactoring so that Cartesian is an iterable.
Adding a unit test for vacuous truth.
A little more refactoring of the tests.