diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el
index c4e5963..7f3455c 100755
--- a/modules/home/users/msyds/emacs/lisp/syd/agda.el
+++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el
@@ -46,7 +46,10 @@
     :keymaps 'agda2-mode-map
     :states '(motion normal)
     "[ n" #'agda2-previous-goal
-    "] n" #'agda2-next-goal)
+    "] n" #'agda2-next-goal
+    ;; FUCLK!!!!!!!!!
+    "g d" #'agda2-goto-definition-keyboard
+    "K" #'agda2-goal-and-context)
   (setq agda2-fontset-name "JuliaMono")
 
   (defun syd-agda-lookup-documentation ()