(s)formallogically deductive“formal proof”