implementation and formalities