Logic Under Pressure