Legal Theorems: Bridging Computer Science and Privacy Law