The Formalist Approach in Practice