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).