Cool Under Pressure

Cool Under Pressure (Extended Version)