( 7-t , li .)