correct use of proc