Valid-case testing. Target question: Is x + y equal to 1? Statement to test: x and y are real numbers with x² + y² = 1. Which option uses two allowed examples with different target-question answers, proving that the statement is insufficient?