point out why restriction of tuples is needed
remove commented out stuff
remove comment about relationship with PSN

I believe there is more to this story, as the role of local confluence is not clear with the restriction we have on tuples. No time to delve into this, so removed the sentence.