⁴⁴Note that $0 < m#$ is implied by RIC and $m# < 1$ is implied by $/ // GIC$ .