Xena Proofs