Klee must be stopped