Create a9-5.rkt

A-normalized value-of