The second post on Culberson's program is generalised.

  - Now about verification and visualisation of colourings.