Informal Formalities