Interactive tool

unique / priority case

Overlap and incomplete case items — what unique and priority promise (and what simulators check).