Fundamental Errors in Legal Logic Programming