Depend on updated Law (with merged 'error' branch)