_ , ( 1 ^ -ti