planar rewriting rule