stringify condition in filter more tersely