Jeremiah Johnson, a heralded prospect in the 2023 class ... on both of them because a lot of the top players from Oklahoma end up going [to Oklahoma State] or Oklahoma, so I've been getting ...