Yeah, it's incredibly easy to prove it works. Incrementally can get hard at scale but that's a different question.