Jacob Disston asks his students to focus on a category of symbol strings (expression, equation, inequality), separate them, and discuss how they know how to categorize them. Students are asked to make statements like "I know this is an equation because..." or "I think ... what do you think?"