Telos Final Proof of Snoop