[Alifatisk]

> The two bugs that were found both sat outside the boundary of what the proofs cover

Are we baiting people with headlines now?