question: Although for some countries the dollar is not their official currency , how do they use the currency ?
answer: de facto currency
turker_answer: Although for some countries the dollar is not their official currency , they use it as a de facto currency
rule-based: Although for some countries the dollar is not their official currency , de facto currency do they use the currency .