it's @SuccinctJT who's going to be happy, with today's sumcheck post and tomorrow's... sumcheck thing...