#lang racket
;; Starter code for A2Q2
;; May contain Unicode characters - download, don't cut/paste from browser
;; You must replace the ? with correct proof terms.

(define answer1 '(? : ((A -> B) -> ((A ∨ C) -> (B ∨ C)))))

(define answer2 '(? : (((A ∨ B) ∨ C) -> (A ∨ (B ∨ C)))))

(define answer3 '(? : ((A ∧ (B ∨ C)) -> ((A ∧ B) ∨ (A ∧ C)))))

(define answer4 '(? : ((A -> (B ∨ C)) -> ((B -> D) -> ((C -> D) -> (A -> D))))))