Woops. remove data output part since changed conj->therm/proof