A Theory of Justices' Retirement