Revert "Remove proc"

This reverts commit b74314559a213d84b783843f4aa94268c5d6b6f5.
Ugh