Credibility of Formalization