Fixing the simple and kool examples.
Letting this be K again...