On and beyond Propagation of singularities