graph colouring works