No. I looked at the correspondence that was in the Comptroller General's file. There was a memo in the file that said the Comptroller General, or the acting Comptroller General, was not going to challenge the legal opinion. That memo has been shared with the Auditor General.
