diff --git a/CHANGELOG.md b/CHANGELOG.md
index 34fe943..35cd059 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## 5.6.3 - 2024-02-19
+
+### Fixed
+
+- The global function `property` return type is now `Innmind\BlackBox\Runner\Proof\Property` allowing you to name the property
+
 ## 5.6.2 - 2024-01-28
 
 ### Fixed
diff --git a/src/Runner/global.php b/src/Runner/global.php
index 9cb847d..b9f885b 100644
--- a/src/Runner/global.php
+++ b/src/Runner/global.php
@@ -46,7 +46,7 @@ function given(Set $first, Set ...$rest): Given
 function property(
     string $property,
     Set $systemUnderTest,
-): Proof {
+): Proof\Property {
     return \Innmind\BlackBox\Runner\property($property, $systemUnderTest);
 }
 
diff --git a/tests/Set/IntegersTest.php b/tests/Set/IntegersTest.php
index 8512b30..b8c77a3 100644
--- a/tests/Set/IntegersTest.php
+++ b/tests/Set/IntegersTest.php
@@ -242,8 +242,8 @@ public function testShrinkingStrategiesNeverProduceTheSameResultTwice()
         do {
             $this->assertNotSame($previous->unwrap(), $integer->unwrap());
             $previous = $integer;
-            $integer = $integer->shrink()->b();
-        } while ($integer->shrinkable());
+            $integer = $integer->shrink()?->b();
+        } while ($integer?->shrinkable() ?? false);
     }
 
     public function testInitialBoundsAreAlwaysRespectedWhenShrinking()