And also unit tests for edge cases and loopholes in laws.