Pulling a new proof from Knuth's fixed-point printer, with code in Ivyresearch.swtch.com2 pointsfanf25 months ago