diff --git a/emacs/init.el b/emacs/init.el
index e540b82..3eee28b 100644
--- a/emacs/init.el
+++ b/emacs/init.el
@@ -1030,3 +1030,7 @@ any directory proffered by `consult-dir'."
   :hook (eat-mode . (lambda ()
                       (setq display-line-numbers nil)
                       (hl-line-mode -1))))
+
+;;; PVS
+
+(setq ilisp-*use-fsf-compliant-keybindings* t)