Example 19. Formal Design of Emery, “In a Lose, Lose Situation” (2005)