With regard to the government paying Naval Group's legal bills, is it just a contractual arrangement between Naval Group or is it something that all large defence primes get—the taxpayer paying their legal bills? How many small to medium companies get the benefit of the taxpayer paying their legal bills if a dispute arises?