Tyler and Alexia proofs

Tyler and Alexia proofs