User blog comment:Mush9/KING function/@comment-1605058-20170115211203/@comment-30167082-20170115230617

Okay. I agree with everything.

What I was trying to convey was that we need not define explicitly the free variables. Instead, I take any variable ("a", "b", "snail", ...) which is written into a KING statement (not all statements define free variables) and call it free. It's really only a first step... not much stronger than FOST, if at all.