Embedding Borel graphs into grids of asymptotically optimal dimension | Synapse