A> K> A