( ti ' 7)