Vitalsource Technologies, Inc. Godel's Proof