Describir: A Proof-Based Account of Legal Exceptions.