trivial KIM question