 though true when division in defined as in (20), does not express an interesting mathematical truth but one that is merely a byproduct of our treatment of the “don't care cases.” Despite this cost, the gain in simplicity in the notion of proof may well warrant, in some contexts, the move to a definition such as (20).