What behaviour do we want when they are running a payoff command when nobody owes anybody anything anyways? Where does it check for more cases in a double check? I thought I was using implications and branching. Hmmm...