when exp1a do (when exp2a do exp2b)