refinement: proc syntax.