The cardinal number that is the sum of three and one.