Find!
x1=m1 is the x2=m0-th of terbri in bridi x3=b1
moi3 has been dropped, because the order of terbri is predefined; bridi2 and bridi3 depend on bridi1 and have been removed.