attested R7 SPEC-INTERFERENCE-2