class TEST2 [G] feature i_th (i: INTEGER): like item do check False then end end item: G do check False then end end end