The minimum content of natural law is necessary for any legal system.
The essence of computational thinking is abstraction and automation.