Gary Williams at Miami-Maryland game.