Alivia Proofs