(In)Formalities