Bonus: Proving things is a goal$-$oriented activity. This has implications for proof detours. A prover is on a detour when they are executing steps that are unnecessary. They may even take the same detour several times. Oh no$!$ Reflect on your proof process. Give an argument for what a prover ought $($or has a reason$)$ to do when stuck in a detour. Why is this important? Well, we might be stuck in detours outside of logic class$-$like when problems aren't as simple as transforming well$-$formed formulas with inference rules. We may still reflect on the proof process so that we can apply the discipline of symbolic logic to contexts that are not explicitly symbolic.

Instructions: Be creative. You should give and defend a deductively valid argument in sentence logic for the full $4$ points. I am not expecting a specific answer, but your answer should be in the neighborhood. A thoughtful answer that lacks a deductively valid argument will earn $2$ points $($minimum: $8$ sentences$).$ An answer containing a deductively valid argument that makes no attempt to defend the premisses will earn $3$ points $($minimum: $8$ sentences$).$ An argument with defended premisses will earn $4$ points $($minimum: $8$ sentences$).$ There is space on the back as well.

Answer: