[이충민]

1. cond 내부에 그 cond를 갖는 id가 나타날 수 있나요? 예: (cons 'A (mustAnd (mustBeTheSame 'A) (mustItems '(1 2))))
2. id-cond pair list에서 같은 id가 두 번 이상 나타날 수 있나요?
3. 임의의 cond x에 대해 (isItems x) ===> #t일 경우 (whichItems x), (isExcept x) ===> #t일 경우 (itemsExcept x)가 다음을 조건을 만족하지 않으면 에러를 발생시켜도 되나요? 조건: list이며, 모든 원소가 <exact integer>이고, 임의의 서로 다른 두 원소 x, y에 대해 항상 (eqv? x y) ===> #f

[최원태]

1.
A를 정의하는 조건 안에 A가 나타날 수 도 있겠죠?
그런 Set이 연산 가능한가와 그런 Set이 정의 가능한가는 다른 문제니까요.

2.
이런 일은 없다고 칩시다.
최소한 채점용 테스트셋에는 넣지 않을께요.

3.
입력의 형식을 체크할 때 저 조건을 만족하지 않는 입력이 들어오면
에러를 내도 무방합니다. 사실은 에러를 내야 맞겠죠!