TL-WRITE-PROOF-2