[math-fun] Hardin colourings & tri-colouring grids