Barre3-Powell May2021 (proofs)Finals