§II — $OPT_i$ agrees with $X_i, Y_i$ on $u_1..u_i$ and with $OPT$ after; $OPT_0 = OPT$, $OPT_n = X_n = Y_n$

Initializing...

§II — $OPT_i$ agrees with $X_i, Y_i$ on $u_1..u_i$ and with $OPT$ after; $OPT_0 = OPT$, $OPT_n = X_n = Y_n$ · Prove2Me