{\displaystyle Enc(x)}