eopl 15 q4: more statements elaborating