proofs
10 tl