Rethinking Formalization: The WIEGO Perspective