SlopProofProof, not vibes