Bodmer–Witten assumption