formalized and non-formalized analysis