140 , 141 , 142 , 143 .)