Question 1: Construct an equational reasoning proof showing (myst (a b) null) results in (b a). Do not skip any steps and be sure to provide the justification for each step. Our definition for the function myst is the following: (define (myst L M) (if (null? L) M (myst(rest L) (cons (first L) M))))Note: this question is a bit long, but you can save time by copy/pasting from the previous stepand just modifying the appropriate portion(when done correctly, there should be 16 lines).

In Racket Programming