Infinite Base Type2_1