Vitalsource Technologies, Inc. State Space Consistency And Differentiability