modified: NormalizedSchemas.tex