This is not a valid case as the zero value is permitted (`greater_than_or_equal` - equal to zero is permitted)