verify r1 is mirrored properly