http://jtauber.com/blog/2005/08/06/homotopy_classes_and_simple_connectedness/