From 9ffd987e10c04064c2b4fb9e0081c629c46532a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 12 May 2020 04:28:11 +0200
Subject: [PATCH] Add specification for example 0

---
 examples/example-0.spec | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 examples/example-0.spec

diff --git a/examples/example-0.spec b/examples/example-0.spec
new file mode 100644
index 0000000..4260fe6
--- /dev/null
+++ b/examples/example-0.spec
@@ -0,0 +1 @@
+assert: exists X, Y p(X, Y) <-> exists X q(X).