Local proof becomes globally useful when the people, institutions, and context around it remain visible.