CS0405_SpecReport_SoftProofs