Revert "procedures"

This reverts commit ba6680cb2baa35962168159f7bea27419a3582d9.