Maybe auto-generate tests for the validity of the universe and complement functions?