Wasn’t there a more general definition as well, like man = human? Kinda outdated given the current trend of replacing those with persons and whatnot, yet presents enough reasonable doubt to me 🤷