"A-normal form" . . . . "A-normal form" . . . . . . . .