Logic-Under Pressure