further in Ktheory transition