Moar SLQC proof.