 A refined theory has been developed, in particular Mikio Sato's algebraic analysis, using sheaf theory and several complex variables.This extends the range of symbolic methods that can be made into rigorous mathematics, for example Feynman integrals.It is easy to define the product of a distribution with a smooth function, or more generally the product of two distributions whose singular supports are disjoint.