sec 1.7 letrec