I find this slightly hard to understand because prunePushedDownFilter is an option. Can we write this out as a full closure?