[ 665 ] 8 , n . Gederberg.