Fixed a misused existential operator in a test.  Wrote a couple of tests against it.