Formality helps scalability and robustness