Stella 2 Proofs