Challenging Formalization in Education and Beyond