-- r1 ^ a^