Even moar SLQC proof.