with the contrast being: rule graph vs product graph, as well as "there is a single correct answer" vs "this is a parameterized summary"