Encoding of ()