  This is a pedagogical and (almost) self-contained introduction into the
theorem of Groenewold and van Howe, which states that a naive transcription of
Dirac's quantisation rules cannot work. Some related issues in quantisation
theory are also discussed. First-class constrained systems are briefly
described in a slightly more `global' fashion.
