Now, for a do notation