2 sphere direct

Do we want a direct definition of the 2-sphere as a HIT, as in the book?