mccaulley '24 proofs