x \ y aa ab bb
aa binA bin_A binA
ab binA' binA' binA'
bb binA' binA' binB'