Find!
x1=bin1=bir1 becomes certain that x2=bir2 under conditions x3=bin3.
See also birti, binxo, sezybitygau.