algorithmic analysis of the law