Vitalsource Technologies, Inc. Derrida, Badiou And The Formal Imperative