Vitalsource Technologies, Inc. Godel's Disjunction