Removal should include implementing the DROP PROCEDURE command.