“Typing is no substitute for thinking.”