h encodes a K