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