Necessary Formalities