Garrett Baker comments on Raemon’s Shortform

[Garrett Baker]

They’re not intended to be conservative

Ok, I guess I got confused by your calling it a “Hard Problem”.