Net Worth of Formalism (deductive)