bavyxusra lujvo

x1 asserts/prophesies that x2=b1 is true about the future of b2