W6-Q3 without letrec