@bjz: Could you give me an example where universe or complement would return an invalid value? How would you test for validity?