Vitalsource Technologies, Inc. Proper Group Actions And The Baum-connes Conjecture