? The cardinal number equal to the sum of 1 + 1 ?