Something else to consider is that "reasoning" (marketing term having nothing to do w/ actual reasoning) will only work for problems that can be broken up into chunks of quadratic complexity such that each chunk can then be re-encoded into the context to carry out more quadratic operations. I don't know if there is a theorem in CS proving obstructions for breaking up problems into such chunks but I think it is intuitively obvious that there will be problems which can not be solved w/ such restrictions.
Something else to consider is that "reasoning" (marketing term having nothing to do w/ actual reasoning) will only work for problems that can be broken up into chunks of quadratic complexity such that each chunk can then be re-encoded into the context to carry out more quadratic operations. I don't know if there is a theorem in CS proving obstructions for breaking up problems into such chunks but I think it is intuitively obvious that there will be problems which can not be solved w/ such restrictions.