Dominic: tests on complementation, singletonness