rtri^S < 
