Awkward wording in 7
Proved infinite red OR blue in s