We are currently using set_difference, which is neat API-wise but not as efficient as we could be. This is a minor optimisation (<1%) I think, even on CombatDemoHuge, so it's somewhat debatable.
This was chat-gpted so I'd need to change the autos but I haven't bothered yet.