attested R1 SPEC-INTERFERENCE-2