Vitalsource Technologies, Inc. Logic of Real Arguments