a and b are valid.