Dear Phil, See responses below.
Imagination encircles the world.
I think they are functionally fairly similar. However, I find here an assumption that KIF is the starting point, and I have considered it unwise for a newcomer like me to challenge this. I still have to respond to Adam's request for how they fit. Most of the objections I have been raising to our current course are based on this experience. I know exactly where we are currently headed - I've been there.