Initial do-notation