Tiwari gave the quantified formulas to check whether the two variable homogeneous linear loop terminates in 2004. But we find that a certain quantified formula is neglected in Tiwari's result, which ...