[uzerfcwn]

The definition of tag systems says "add P(x) to the end" but doesn't define x.

I can't spot errors in the logic or code, though I'm not an expert either.

[ogiekako2]

Thank you! I have fixed the sentence and some edge case handling.