Added a bit about torus decomposition.