HK - EN^{HK - EN}