Vitalsource Technologies, Inc. Contributions To Logic And Methodology