Even better, set the retirement age to 100 in 2023, and every year after that drop the age by 1 until 2043 when it reaches 80. It'll take a little while, but you'll implement your rule without major disruption, as each year 2 years worth of judges retire.