Mizar - ST_IT