Welcome Sweet Angel! TL Proofs