reasoning-loop