cheat a broken termination proof