Propagation of singularities