There can never be surprises in logic.