Yes, it's a bit hand-wavy. Though after RE<C the transition is essentially self-funding.