Lots of work on SLQC proof. 2.5 cases to go.