Shorted precondition

Author: d-frey

doc/ref/basic_value/empty.md

@@ -14,11 +14,11 @@ Returns whether the instance is considered "empty". An instance is considered em
 
 #### Preconditions
 
-The instance must *not* be in a discarded state. The precondition *may* be checked by the implementation with `assert`.
+The instance must *not* be in a discarded state.
 
 #### Return value
 
-`true` when the instance is considered empty, `true` otherwise.
+`true` when the instance is considered empty, `false` otherwise.
 
 #### Exceptions
 

doc/ref/basic_value/operator_bool.md

@@ -8,7 +8,7 @@ Returns whether the instance has been initialized. Note that an initialized valu
 
 #### Preconditions
 
-The instance must *not* be in a discarded state. This precondition *might* be checked by the implementation with an `assert`.
+The instance must *not* be in a discarded state.
 
 #### Return value