completed statistics about formalization