Simpler to exploit a soundness bug than introduce a back door I would assume