One proof to verify them all. That’s the endgame.