topology {<dynamics-torsion-topology-statement>} end


<dynamics-torsion-topology-statement> :==