[ dmg . publications . Reasoning about cases with diagrams ] edit