Emacs SigmaKEE/KIF major mode for interaction.