formalities