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.