On the No-Counterexample Interpretation