If only there were a law compiler that could tell you if your legal argument was valid.