In practice, the counterexample might not itself lead to any problems.It may instead reveal a discrepancy in how the designer originally characterized the unacceptable outcomes.

• 事实上，反例本身可能不会造成问题，但揭露了一项事实：设计者原先的设计会出现意料之外、无法接受的结果。