Corrected issemipreterminal