all-time head coaches
... that among the all-time head coaches in William & Mary Tribe football's history, three have been inducted into the College Football Hall of Fame and one other into the Pro Football Hall of Fame?
... that among the <b id="mwCxg"><a href="./List_of_William_&amp;_Mary_Tribe_head_football_coaches" id="mwCxk" rel="mw:WikiLink" title="List of William &amp; Mary Tribe head football coaches">all-time head coaches</a></b> in <a href="./William_&amp;_Mary_Tribe_football" id="mwCxo" rel="mw:WikiLink" title="William &amp; Mary Tribe football">William &amp; Mary Tribe football</a>'s history, three have been inducted into the <a href="./College_Football_Hall_of_Fame" id="mwCxs" rel="mw:WikiLink" title="College Football Hall of Fame">College Football Hall of Fame</a> and one other into the <a href="./Pro_Football_Hall_of_Fame" id="mwCxw" rel="mw:WikiLink" title="Pro Football Hall of Fame">Pro Football Hall of Fame</a>?