Hi! I'm building a property search feature and I'd like users to be able to exclude properties that they have previously marked as "favorite". There will be around 10M properties in the catalog and I'm estimating users to have on average ~200,000 properties marked as favorite. Is the negation filter (e.g.

id != [id1, id2, ...]

) the correct approach for this?