Seol mar théacs é seo: The S-Procedure via dual cone calculus