You noticed your confusion but still went on the aggressive, huh. Ah well.
"A is demonstrating a proof of B" does not require "A is a clause in B".
A being TLPL, B being that the entire lock industry is bad, so bad that anyone with experience would be a massive improvement, for example a thief.
