don't add a rewrite for symmetry.