\rho\colon F\to\mathbb{N}