Formalization is not async and on-demand.