made some stylistic changes, added torsion theory