ALLISON: Proofs