The existence of a legal system is a matter of social fact.

"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."

I have not told the half of what I saw.