(K x)A(x)