Topological field theory of time-reversal invariant insulators | Synapse