\form#0:$B-A <2^31 (mod 2^32)$
\form#1:$A>B$
\form#2:$B-A <2^{31} (mod 2^{32})$