additional note re: semantics in mDo/eDo/bDo programs