That list is misleading. There are seven justices and DeSantis gets to pick three. He can change the ideology of the court to conservative.
The three justices that are retiring (Barbara J. Pariente, R. Fred Lewis and Peggy A. Quince). Two of the three do not show up on your list.
OK, thanks.