emacs tutorial: individual bindings reasoning