A syntactical analysis of normalization