A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems.