The problems below ask you to construct a proof in quantificational natural deduction. Each exercise loads with the premises already entered. Add a justification for each line you write, and complete the proof. Carnap will mark each line + once it is correct; the top turns green when the proof is complete.