( 3-134 ) ( mit