Under Pressure Logic