This note on the probability of the Miami Dolphins selecting a quarterback in the first round of the 2020 NFL Draft with the fifth pick gave me pause: