diff --git a/examples/FloatTest.php b/examples/FloatTest.php
index <HASH>..<HASH> 100644
--- a/examples/FloatTest.php
+++ b/examples/FloatTest.php
@@ -17,4 +17,17 @@ class FloatTest extends \PHPUnit_Framework_TestCase
                 );
             });
     }
+
+    public function testAPropertyHoldingOnlyForPositiveNumbers()
+    {
+        $this->forAll([
+            Generator\float(-10.0, 100.0),
+        ])
+            ->then(function($number) {
+                $this->assertTrue(
+                    $number >= 0,
+                    "$number is not a (loosely) positive number"
+                );
+            });
+    }
 }
diff --git a/test/Eris/ExampleEnd2EndTest.php b/test/Eris/ExampleEnd2EndTest.php
index <HASH>..<HASH> 100644
--- a/test/Eris/ExampleEnd2EndTest.php
+++ b/test/Eris/ExampleEnd2EndTest.php
@@ -47,7 +47,7 @@ class ExampleEnd2EndTest extends \PHPUnit_Framework_TestCase
     public function testFloatTests()
     {
         $this->runExample('FloatTest.php');
-        $this->assertAllTestsArePassing();
+        $this->assertTestsAreFailing(1);
     }
 
     public function testSumTests()
Added a failing test to explore float shrinking