Why an NFL lineman benched football for math