a_pure_formality