ensuringProcedureHasPermission