diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index 9e1b401..a62eecd 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -29,15 +29,14 @@ function Close_Prove()
 	end
 end
 
-vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
-vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
-vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
-
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.
 local function setup_ada()
 	vim.keymap.set("n", "<leader>cb", ":!gnatpp %<cr>")
+	vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+	vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
+	vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
 	vim.opt.tabstop = 3
 	vim.opt.shiftwidth = 3
 end
@@ -52,6 +51,10 @@ vim.api.nvim_create_autocmd({ "BufEnter" }, {
 -- @param
 -- @short Leave ada and reverse any changes to my editor defaults
 local function leave_ada()
+	vim.keymap.del("n", "<leader>cb", ":!gnatpp %<cr>")
+	vim.keymap.del("n", "pp", ":lua Close_Prove()<cr>")
+	vim.keymap.del("n", "<leader>pp", ":lua Prove()<cr>")
+	vim.keymap.del("n", "<leader>op", ":lua Run()<cr>")
 	vim.opt.tabstop = 4
 	vim.opt.shiftwidth = 4
 end