Update SpecificationFindings.tex