Alkessa Proofs