K != * =>