How to Write a High‑Quality TCC