Update ex-3.31.rkt