We can use a simple Stream here.