ALEX: Proofs