basics: don't duplicate comments from intro