Typing is no substitute for thinking.