Resolution of do-notation.