refine list.any (#51)