Anfonwch hwn fel neges destun: The S-Procedure via dual cone calculus