Thinking Must Be Computation of the Right Kind