attested R4 SPEC-INTERFERENCE-3