withFilter
Arbitrary