If this is correct, it means that the best overall prospect is inadmissible in this situation.
It allows an inadmissible atom to be used in the (dubious) "proof" of a false atom.
Here, we introduce compound waves, also known as composite waves, as substitutes for undercompressive shocks which are inadmissible by the viscous admissibility condition.
Inadmissible atoms may succeed or fail according to the procedural semantics but this distinction is not made in the declarative semantics.
This corresponds to saying inadmissible atoms are true in the intended interpretation.
A successful atom may not be true, since inadmissible atoms can succeed.
However, the diagnosis algorithm does not consider how or why the inadmissible call succeeds.
However, these differences do not reflect different programmer intentions and the programmer does not know or care which inadmissible atoms succeed in the different versions.
