←
KR(Z)