Vitalsource Technologies, Inc. Constructive Negations And Paraconsistency