(what you wrote will work, incidentally, but since this is teaching material we should be strict about the rules)