For sure, it was Gary.
I’ve known people who only need four hours of sleep a night. It’s rare but people like the four-hour-a-nighters, and, I’m guessing Gary is one of them, get a whole lot more done than us mortals who actually need to sleep eight hours even when we don’t want to.