Cite Herlihy and his crowd.
Describe constraints (X-freedom, linearizability, ...) and show examples breaking them.