Reasoning with law. (2001)