Lethbridge-Stewart: 1.4 Mutually Assured Domination