Simplification, Explicitation and Normalization