started intro, defs, and faq