" 11 , 32f.