The existence of a legal system is a matter of social fact.
The Langlands program is a framework for understanding the unity of mathematics.