This is not exactly an answer to the question but interesting none-the-less.
In 2005 the British model Kate Moss was filmed putting some kind of white powder, allegedly cocaine, up her nose. The police wanted to press charges for possessing illegal drugs. However the pictures could not demonstrate exactly what the substance was, in particular whether it was a Class A or Class B drug, each of which would require different charges to be brought. The British legal system does not allow a person to be tried on a disjunction of two charges so the case was dropped.
Legal reasoning is often different to mathematical reasoning, but I found it amusing to see the courts employing intuitionist logic in this case, whereas mathematicians would usually be satisfied with a classical proof.