A developer clarifies the minimal neighborhood size needed for computing jittered Voronoi grids, proving that a 5×5 neighborhood is insufficient and that sites up to distance (3,1) can affect results. The finding, formalized using Lean, corrects a widespread assumption in procedural generation despite being documented in 1992-1993 papers.