Vitalsource Technologies, Inc. Hilbert's Seventh Problem