filter is a function of the standard library, I would suggest to name it differently