" The following proviso was added to sub paragraph (1) of paragraph 10 of Part D of the Second Schedule to the Constitution by the Constitution (Seventh Amendment) Act, 1956 (the 1956 Act, for brevity) with effect from the 1st November, 1956: "Provided that if a Judge of a High Court at the time of his appointment is in receipt of a pension (other than a disability 603 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, his salary in respect of service in the High Court shall be reduced (a) by the amount of that pension, and (b) if he has, before such appointment, received in lieu of a portion of the pension due to him in respect of such previous service the commuted value thereof, by the amount of that portion of the pension, and (c) if he has, before such appointment, received a retirement gratuity in respect of such previous service, by the pension equivalent of that gratuity.