proof twins are mistakes