Formalist Approach Module