I have another, very important question, Mr. Gleeson. Is there a provision that prevents double dipping?
What I mean is, could a regular judge decide to retire with full compensation, with his pension, and be paid as a judge on top of that?
Can you address this issue?