The cardinal number equal to 3 + 1.