Everything’s bigger in Texas. That’s more than just a common expression, it infiltrates our movies and our culture.

Want to know how big Texas really is? Let’s compare its economy with that of Russia, the world’s largest country by area. As you probably know, Russia’s been in the news a lot lately, so the timing of this comparison makes sense. The U.S. just levied fresh sanctions against the Eastern European country for its alleged meddling in the 2016 presidential election, and early last week President Donald Trump warned Russia that the U.S. military could soon strike its ally Syria in response to its use of chemical weapons—a promise he kept Friday evening.

But back to the comparison. Even though Russia has nearly five times as many residents as Texas, the Lone Star State’s economy is more than $400 billion larger. Texans, therefore, enjoy a gross domestic product (GDP) per capita of around $58,000, whereas Russians have one closer to $8,700.