\rho '= \rho \cup \{ (n,n) | n\in\mathbb{N},n>7 \}