( 6 , §76 .)