> The two bugs that were found both sat outside the boundary of what the proofs cover
Are we baiting people with headlines now?