Civil law is what each people establishes for itself.
The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.