formalized module