Oklahoma State head football coach Mike Gundy decided that a reasonable 2023 defensive line from Greg Richmond must hit another…