On first order smoothing theory