Finish upgrading section on relative pseudo-coherence

Kinda horrible!