Please Solve and Format the proof.

Use natural deduction for constructive logic in the openlogicproject to prove that: AA. (Remember, this is constructive logic. We have no rule that eliminates a double negative!)