The Paradox of Agility: Reduce Formalization? Introduce Formalization!