during Spire offsite we've had at least 10 seperate cases where someone is like "what if we just wrapped this into a proof and verified it" and it's a totally new way of thinking fast proof generation is an incredible thing