proper do notation