 Under the supposition that \(k\) is true, we have thus derived a conditional together with its antecedent. Using modus ponens within the scope of the supposition, we now derive the conditional’s consequent under that same supposition: