seriously @SuccinctLabs lol
competition too fierce
and I'm hearing words 'stars(pts)' = exchangeable $PROVE?
gprove 🧢