#lang racket
;; Starter code for A4Q3
;; May contain Unicode characters - download, don't cut/paste from browser

;; You must replace the ? with correct proof terms.

(define answer1 '(? : (¬ (¬ (A ∨ (¬ A))))))

(define answer2 '(? : (¬ (¬ ((¬ (¬ A)) -> A)))))