Text this: Graph colouring and the probabilistic method /