a > b ~ choose(1) c > d ~ choose(1)