It is possible–indeed possible even according to the old conception of logic–to give in advance a description of all ‘true’ logical propositions. Hence there can never be surprises in logic.