Hey! Already a member of IPT and SCC, thought TL would be a great add, If you want proofs I can provide those too.

Thanks,
ex33