bitybi'o lujvo

x1=bin1=bir1 becomes certain that x2=bir2 under conditions x3=bin3.

See also birti, binxo, sezybitygau.