diff --git a/README.md b/README.md
index 188d9d6..55b6837 100644
--- a/README.md
+++ b/README.md
@@ -2,10 +2,8 @@ zKanren
 ========
 ```racket
 (require "zkanren.rkt")
-(sizedstream->list (runzk (fresh (x y z) (conde [(== x y)] [(=/= x y)]))))
-;; => '(((=/= ((<var:1> . <var:2>)))) ((== (<var:1> . <var:2>))))
 (define-relation (r) (all succeed (r)))
-(sizedstream->list (runzk (r))) ;; => '(())
+(sizedstream->list (runzk- (r))) ;; => '(())
 (define-relation (r2) (conde (succeed) ((r))))
-(sizedstream->list (runzk (all (r2) fail))) ;; => '()
+(sizedstream->list (runzk- (all (r2) fail))) ;; => '()
 ```