Reasoning-Maintenance