“Total explicitness is impossible. The effort of formal logic to make thought entirely explicit, while an admirable and in many ways indispensable and fantastically productive effort, is ultimately doomed to failure and entails deep psychological strain because of its unreality. Thought can only be made more and more explicit, never totally so.”