If the conditional is assertable only when the denial of its antecedent is not, as the assert the stronger theory predicts, then how can it happen that the conditional and the denial of its antecedent