Automobiles that are produced in the United States by a South Korean company that are not sold to consumers until 2023. The automobiles are ________ in the US 2021 gross domestic product.
a) included
b) excluded
c) contributing
d) irrelevant