program setdiff; type G = (A, B, C, D); S = set of G; var X : S; begin X := [A..B]; X := [A..B] - X; if A in X then writeln('A') else writeln('none') end.