some progress on filter() and dump()