Comment by saagarjha

Generally the idea is that all of these are (more or less) easy to prove but the other policy allows for x' and y' to be independent