Removing do notation