Not everyone here is an experienced prover/mathematician, and SAT can mean different things, and I believe many people will view it as the SAT test especially when you pair it with "difficult" in the tile wihtout any other context.
I don't know how that disagrees with anything I said. I agreed that the HN title should've clarified what SAT means, since HN's readers aren't all in the target audience.
First, did I say my previous commebnt disagrees with anything you said?
Second, if it's not due to "disagreement", why did you add the last "EDIT"?
I got the impression from your comment that you disagreed with my overall position. If that was incorrect, I apologize.