jberger_peteranderson_aia_proofs-1004