procs implemented