Similarities in Law and Programming: Using Abstraction · HackerTrans