The frozen part (`T0_le`)