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

(provide band band-same)

(define band '(? : (Bool -> (Bool -> Bool))))

(define band-same '(? : (∀ (x : Bool) -> (band x x = x))))