The mind ought sometimes to be diverted that it may return to better thinking.