( 1^ .. ti.