3 Comments
User's avatar
Connor Fitch's avatar

I believe it is Budden, not Hutter, claiming the proof

Expand full comment
Jeremiah Johnson's avatar

You're right, mixed up the names in my draft. Fixed now.

Expand full comment
GD's avatar

Merry Christmas!!!

Expand full comment