Yes... but it does not seem to be doing that.
All my $9K of gains are still showing up as $9K of gains... i.e. my taxable gain is not being reduced by $5055.
