là một tập hợp câu trả lời của CW {W). Hơn nữa, mỗi câu trả lời đặt của CW {W) có thể được đại diện trong các hình thức (10), nơi S là một câu trả lời thứ hai.
là một câu trả lời thiết của CW {W). Hơn nữa, mỗi câu trả lời thiết của CW {W) có thể được biểu diễn dưới dạng (10), trong đó S là một tập hợp câu trả lời của II.