diff --git a/Test4.scala b/Test4.scala
new file mode 100644
index 0000000000000000000000000000000000000000..7bece8d4d4a0bb8d8e9a7a6550cf13c49e8974f6
--- /dev/null
+++ b/Test4.scala
@@ -0,0 +1,12 @@
+import funcheck.lib.Specs
+
+object HeapTest extends Application {
+ 
+  //works
+  Specs.forAll[(Int,Int)]( p => p._1 + p._2 == p._2 + p._1)
+
+  //fails!
+  Specs.forAll[Int]( p => p == 0)
+
+  
+}
\ No newline at end of file