K * Ax - a : a : a : »aat