Yes, taxes on the average worker would go up by the same amount as they're receiving in basic income. So the effective costs of a basic income program are a very small fraction of $3.2 trillion.