Some prose explaining tc-results and inference and sequences.