a r 8 = t s ==