( 10 , 001 ) AllHjJbliftptiOPlL ( G , §4 , 660)