Coach Edwards is a BYU guy.
It's like saying that there are a lot of ex-BYU players in the NFL, as is Taysom Hill.
Well sure, you can say it that way. But Taysom Hill is also an ex-BYU player included in the group based on being an ex-BYU player. You don't have to add him after.
Coach Edwards is a BYU guy, as are all of the BYU players in the CFB HOF.
And mostly I was just harassing you about adding Coach Edwards to the group, as if he needed a qualifier and isn't simply a BYU guy for his years coaching at BYU.