Alexis proofs