a bit more documentation for TCP to TEI