Alexis Proofs