martin.rubey: can you describe a bijection between connected finite simple graphs without vertices of degree 1 and connected finite simple graphs such that the closed neighbourhood of every vertex is unique? ChatGPT: Yes, a bijection between