Wording tweaks in SLQC proof.