140 , 141 , 142 .)