\begin{definition}[Definition:Coin]
thumb300pxright$18$th century Irish penny
A '''coin''' is a device for choosing a random number in the set $\set {0, 1}$.
It has been suggested that this device has other uses, but social anthropologists are divided as to what they might be. Perhaps they can resolve their differences by tossing a coin.
\end{definition}