s ' 8 , 142 .)