(Note that I disagree that "HMAC-SHA256" qualifies as an abstraction. It's just more character soup)