The shape of space. ([2002])