added do notation