3 files changed, 9 insertions, 19 deletions
diff --git a/test/examples/coord.tex b/test/examples/coord.tex
index 6dc8d5a..9987506 100644
--- a/test/examples/coord.tex
+++ b/test/examples/coord.tex
@@ -35,3 +35,8 @@
 \begin{proposition}\label{adjs}
     $x$ is foo and baz.
 \end{proposition}
+
+\begin{proposition}\label{are_nouns}
+    Let $x, y$ be foo bars.
+    Then $x$ and $y$ are foo bars.
+\end{proposition}
diff --git a/test/examples/formula.tex b/test/examples/formula.tex
index c029402..e3b1e29 100644
--- a/test/examples/formula.tex
+++ b/test/examples/formula.tex
@@ -5,3 +5,7 @@
 \begin{proposition}\label{formula_test_exists}
     $\exists x, y. x = y$.
 \end{proposition}
+
+\begin{proposition}\label{formula_test_not_exists}
+    $\exists x, y. x = y$ if and only if not $\exists x. x \neq x$.
+\end{proposition}
diff --git a/test/examples/signature.tex b/test/examples/signature.tex
deleted file mode 100644
index 4d794a9..0000000
--- a/test/examples/signature.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-\begin{signature}\label{triangle}
-    $x$ can be a number.
-\end{signature}
-
-\begin{signature}\label{even}
-    $x$ can be even.
-\end{signature}
-
-\begin{signature}\label{div}
-    $x$ can divide $y$.
-\end{signature}
-
-\begin{signature}\label{square}
-    The square of $x$ is a number.
-\end{signature}
-
-\begin{signature}\label{nless}
-    $x \nless y$ is a proposition.
-\end{signature}