SDGS: Hormander's Propagation of Singularities