[startigerjen]

You're using the wrong names from an older version of their paper and Nielsen's , she's updated to include the new relabels. The proof holds.