Rewrite filter in terms of filter!