started working in plan-rewriting