Today, our GDP, adjusted for inflation, is twice as big as it was in 1972.
Our GDP is twice as big as it was in 1972, taking inflation into account.
(We can add some side conditions that prohibit him from dealing with known terrorists and other undesirables.)