Can you explain the implications of sub-paragraph (3) on a Judge who was immediately before the commencement of this Constitution?
Sub-paragraph (3) of Section 9 states that the provision for a Judge to be entitled without payment of rent to the use of an official residence does not apply to a Judge who, immediately before the commencement of this Constitution:

1. Was in receipt of a pension (other than a disability or wound pension) in respect of any previous service under the Government of India or any of its predecessor Governments or under the Government of a State or any of its predecessor Governments. In this case, their salary would be reduced as per clause (a), (b), and (c) of the proviso to Section 9(1).

2. Was in receipt of a retirement gratuity in respect of such previous service. In this case, their salary would be reduced by the pension equivalent of that gratuity, as per clause (c) of the proviso to Section 9(1).