SNAP Part I -- Application and Proofs