Language for Thinking