karaoke

• consequences
• altogether
• counterexamples
• denotations
• handcar
• primitives