Wrote down alternative definition of torus (the 1-HIT version from the book).