Half of half of a SLQC case.

Augh. We're going to need a Clash lemma for this, too.