```F#
verify <@ result :? FilteringSpecimenBuilder @>
```