"a value of ???disjointUnionOf??? for an object C if and only if L is a value of" . . . .