An interesting thought exercise about Michigan’s OL depth