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