exercise on not K