I checked the CBA and found the answer to my question about the Strasburg contract, the full AAV counts against the Nats because he has player options, so the full contract is guaranteed. If there were team options the option years would not be part of the AAV. I believe that if Strasburg opts out the Nats get extra cap space in the following year to make up for the excess counted against prior years.