Proofs-HaisleyOct2022-0066