Lifted Logic Whopper we lost the game