Dump in WIP of SLQC proof.