Vitalsource Technologies, Inc. Traditional Formal Logic