This is how legal reasoning should work.