Yes. I use the term “hard atheist” because in my experience that’s the term that people who aren’t necessarily familiar with atheism get on the first read. I think I first came across it being used by Dennett or one of those guys, but I can’t remember at this point.