Thinking is a form of computation.