Logical Surprises