attested R4 SPEC-INTERFERENCE-2