Proofreading method implemented on Emacs
