This sent me down a rabbit hole I was unaware of! Thank you, seems like a stronger version of bell with less assumptions
Exactly. No need for assumptions about dynamics or locality. It really makes it very sharp.