better tie in notion of "comprehension instance"