formal procedure