r1: a:-b. r2: b:-a. i: :-not a.