efe90d8e010f6be5.tex
1: $ upon convergence of the MISD algorithm and $