; s2 ^ a.