syntactic normalization