procedures highlight