formalized docu