Removed all non-`proc` uses of `do`