diff --git a/tests/elim-faux.8pus b/tests/elim-faux.8pus
new file mode 100644
index 0000000..5f6f991
--- /dev/null
+++ b/tests/elim-faux.8pus
@@ -0,0 +1,3 @@
+False -> A
+intro f.
+elim f.