Fleshes out logic for procs