The paper presents a framework for recursive reasoning systems that improves how they represent evolving reasoning states and determine when to stop iterating. It introduces the concept of an order-gap to assess the effectiveness of reasoning iterations, with potential applications in various AI domains such as theorem proving and continual learning.