CARLEIGH-PROOFS