... 0 ^ a"