. . "Does that mean that they thought about penalties such as punitive damages that are not payable to the Government and didn't include them anywhere?" . .