Revision history [back]
 | 1 | initial version |
You didn't define "x", so your result depends on what its value happens to be. What the error indicates (although perhaps not so clearly) is that you need:
Fx.<x>=F[]
before the definition of K.
