Tyler and Alexia proofs