Is Law Computable?