\begin{definition}[Definition:Bach or Stravinsky?]
'''Bach or Stravinsky?''' is an instance of a class of games whose mechanics are as follows:
There are two players: $\text A$lexis and $\text B$everley.
They wish to go out together to a musical concert, but $\text A$ prefers Bach and $\text B$ prefers Stravinsky.
The key points are:
:$\text A$lexis and $\text B$everley wish to coordinate their behaviour
but:
:they have conflicting interests.
\end{definition}