Vitalsource Technologies, Inc. Godel's Theorem In Focus