A constraint that no primary key should contain nulls is known as.