Klee - v0.1