Gener#((5, # st#t'te +#se$ on re#son#+(e 6(#ssi1i6#tion $oes not *io(#te t2e 6onstit'tion#( )'#r#nt5 o1 t2e eG'#( %rote6tion 6(#'se o1 t2e (#3.899: Jit2 res%e6t to Re%. A6t No. A.A., in %#rti6'(#r, #s # so6i#( se6'rit5 (#3, it is re6o)niKe$ t2#t it His %er&e#te$ 3it2 %ro*isions t2#t $r#3 (ines in 6(#ssi15in) t2ose 32o #re to re6ei*e +ene1its. !on)ression#( $e6isions in t2is re)#r$ #re entit(e$ to $e1eren6e #s t2ose o1 t2e instit'tion 62#r)e$ 'n$er o'r s62e&e o1 )o*ern&ent 3it2 t2e %ri&#r5 res%onsi+i(it5 1or in) s'62 F'$)&ents in (i)2t o1 6o&%etin) %o(i6ies #n$ interests.I89.:
"o3e*er, #s in ot2er st#t'tes, t2e 6(#ssi1i6#tion in Re%. A6t No. A.A. 3it2 res%e6t to entit(e&ent to +ene1its, to +e *#(i$ #n$ re#son#+(e, &'st s#tis15 t2e 1o((o3in) reG'ire&ents: ;9< it &'st rest on s'+st#nti#( $istin6tionsE ;.< it &'st +e )er&#ne to t2e %'r%ose o1 t2e (#3E ;,< it &'st not +e (i&ite$ to e0istin) 6on$itions on(5E #n$ ;4< it &'st #%%(5 eG'#((5 to #(( &e&+ers o1 t2e s#&e 6(#ss.89,:
T2e (e)is(#ti*e 2istor5 o1 Re%. A6t No. A.A. $oes not +e#r o't t2e %'r%ose o1 !on)ress in insertin) t2e %ro*iso H#s o1 t2e $#te o1 2is retire&entI to G'#(i15 t2e ter& H%ri&#r5 +ene1i6i#riesI in Se6tion 9.-B;$< t2ereo1. To t2e !o'rt@s &in$, 2o3e*er, it re1(e6ts 6on)ression#( 6on6ern 3it2 t2e %ossi+i(it5 o1 re(#tions2i%s entere$ #1ter retire&ent 1or t2e %'r%ose o1 o+t#inin) +ene1its. In %#rti6'(#r, t2e %ro*iso 3#s #%%#rent(5 inten$e$ to %re*ent s2#& &#rri#)es or t2ose 6ontr#6te$ +5 %ersons so(e(5 to en#+(e one s%o'se to 6(#i& +ene1its '%on t2e #nti6i%#te$ $e#t2 o1 t2e ot2er s%o'se.
T2is 6on6ern is 6on6e$e$(5 *#(i$. "o3e*er, 6(#ssi15in) $e%en$ent s%o'ses #n$ $eter&inin) t2eir entit(e&ent to s'r*i*or@s %ension +#se$ on 32et2er t2e &#rri#)e 3#s 6ontr#6te$ +e1ore or #1ter t2e retire&ent o1 t2e ot2er s%o'se, re)#r$(ess o1 t2e $'r#tion o1 t2e s#i$ &#rri#)e, +e#rs no re(#tion to t2e #62ie*e&ent o1 t2e %o(i65 o+Fe6ti*e o1 t2e (#3, i.e., H%ro*i$e &e#nin)1'( %rote6tion to &e&+ers #n$ t2eir +ene1i6i#ries #)#inst t2e 2#K#r$ o1 $is#+i(it5, si67ness, &#ternit5, o($ #)e, $e#t2 #n$ ot2er 6ontin)en6ies res'(tin) in (oss o1 in6o&e or 1in#n6i#( +'r$en.L894: T2e ne0's o1 t2e 6(#ssi1i6#tion to t2e %o(i65 o+Fe6ti*e is *#)'e #n$ 1(i&s5. P't $i11erent(5, s'62 6(#ssi1i6#tion o1 $e%en$ent s%o'ses is not )er&#ne to t2e #1ores#i$ %o(i65 o+Fe6ti*e.
?or i1 it 3ere t2e intention o1 !on)ress to %re*ent s2#& &#rri#)es or t2ose entere$ in 6onte&%(#tion o1 i&&inent $e#t2, t2en it s2o'($ 2#*e %res6ri+e$ # $e1inite H$'r#tion-o1-re(#tions2i%I or $'r#tion#( %erio$ o1 re(#tions2i% #s one o1 t2e reG'ire&ents 1or entit(e&ent to s'r*i*or@s %ension. ?or e0#&%(e, in t2e Unite$ St#tes, # %ro*ision in t2eir so6i#( se6'rit5 (#3 32i62 e06('$es 1ro& so6i#( se6'rit5 +ene1its t2e s'r*i*in) 3i1e #n$ ste%62i($ o1 # $e6e#se$ 3#)e e#rner 32o 2#$ t2eir res%e6ti*e re(#tions2i%s to t2e 3#)e e#rner 1or (ess t2#n nine &ont2s %rior to 2is $e#t2, 3#s $e6(#re$ *#(i$.89/: T2's, nine &ont2s is re6o)niKe$ in t2e Unite$ St#tes #s t2e &ini&'& $'r#tion o1 # &#rri#)e to 6onsi$er it #s 2#*in) +een 6ontr#6te$ in )oo$ 1#it2 1or t2e %'r%ose o1 entit(e&ent to s'r*i*ors2i% %ension.
In 6ontr#st, t2e %ro*iso H#s o1 t2e $#te o1 2is retire&entI in Se6tion 9.-B;$< in Re%. A6t No. A.A. e11e6ti*e(5 $isG'#(i1ies 1ro& entit(e&ent to s'r*i*or@s %ension #(( t2ose $e%en$ent s%o'ses 32ose res%e6ti*e &#rri#)es to retire$ SSS &e&+ers 3ere 6ontr#6te$ #1ter t2e (#tter@s retire&ent. T2e $'r#tion o1 t2e &#rri#)e is not e*en 6onsi$ere$. It is o+ser*e$ t2#t, in 6ert#in inst#n6es, t2e retire&ent #)e 'n$er Re%. A6t No. A.A. is si0t5 ;=-< 5e#rs o($.89=: A &#rri#)e 6ontr#6te$ +5 # retire$ SSS &e&+er #1ter t2e s#i$ #)e  sti(( (#st 1or &ore t2#n ten 5e#rs, #ss'&in) t2e &e&+er (i*es '% to o*er se*ent5 ;B-< 5e#rs o($. In s'62 # 6#se, it 6#nnot +e s#i$ t2#t t2e &#rri#)e 3#s # s2#& or 3#s entere$ into so(e(5 1or t2e %'r%ose o1 en#+(in) one s%o'se to o+t#in t2e 1in#n6i#( +ene1its $'e '%on t2e $e#t2 o1 t2e ot2er s%o'se. Nonet2e(ess, t2e s#i$ s'r*i*in) s%o'se is not entit(e$ to s'r*i*or@s %ension +e6#'se 2e or s2e is not # %ri&#r5 +ene1i6i#r5 #s o1 t2e $#te o1 retire&ent o1 t2e SSS &e&+er 1o((o3in) Se6tion 9.-B;$< o1 Re%. A6t No. A.A..
?'rt2er, t2e 6(#ssi1i6#tion o1 $e%en$ent s%o'ses on t2e +#sis o1 32et2er t2eir res%e6ti*e &#rri#)es to t2e SSS &e&+er 3ere 6ontr#6te$ %rior to or #1ter t2e (#tter@s retire&ent 1or t2e %'r%ose o1 entit(e&ent to s'r*i*or@s %ension $oes not rest on re#( #n$ s'+st#nti#( $istin6tions. It is #r+itr#r5 #n$ $is6ri&in#tor5. It is too s3ee%in) +e6#'se t2e %ro*iso H#s o1 t2e $#te o1 2is retire&ent,I 32i62 e11e6ti*e(5 $isG'#(i1ies t2e $e%en$ent s%o'ses 32ose res%e6ti*e &#rri#)es to t2e retire$ SSS &e&+er 3ere 6ontr#6te$ #1ter t2e (#tter@s retire&ent #s %ri&#r5 +ene1i6i#ries, 'n1#ir(5 ('&%s #(( t2ese &#rri#)es #s s2#& re(#tions2i%s or 3ere 6ontr#6te$ so(e(5 1or t2e %'r%ose o1 #6G'irin) +ene1its #66r'in) '%on t2e $e#t2 o1 t2e ot2er s%o'se. T2e %ro*iso t2's 'n$'(5 %reF'$i6es t2e ri)2ts o1 t2e (e)#( s'r*i*in) s%o'se, (i7e t2e %etitioner, #n$ $e1e#ts t2e #*o3e$ %o(i65 o1 t2e (#3 Hto %ro*i$e &e#nin)1'( %rote6tion to memers an! their eneficiaries #)#inst t2e 2#K#r$s o1 $is#+i(it5, si67ness, &#ternit5, o($ #)e, $e#t2, #n$ ot2er 6ontin)en6ies res'(tin) in (oss o1 in6o&e or 1in#n6i#( +'r$en.I89B:
The proviso infringes the !ue process clause
As e#r(ier o%ine$, in Government Service Insurance System v. Montesclaros, 89A: t2e !o'rt 62#r#6teriKe$ retire&ent +ene1its #s # %ro%ert5 interest o1 # retiree. Je 2e($ t2erein t2#t H8i:n # %ension %(#n 32ere e&%(o5ee %#rti6i%#tion is &#n$#tor5, t2e %re*#i(in) *ie3 is t2#t e&%(o5ees 2#*e 6ontr#6t'#( or *este$ ri)2ts in t2e %ension 32ere t2e %ension is %#rt o1 t2e ter&s o1 e&%(o5&ent.I89>: T2's, it 3#s r'(e$ t2#t, H32ere t2e e&%(o5ee retires #n$ &eets t2e e(i)i+i(it5 reG'ire&ents, 2e #6G'ires # *este$ ri)2t to +ene1its t2#t is %rote6te$ +5 t2e $'e %ro6ess 6(#'seI #n$ H8r:etirees enFo5 # %rote6te$ %ro%ert5 interest 32ene*er t2e5 #6G'ire # ri)2t to i&&e$i#te %#5&ent 'n$er %re-e0istin) (#3.I8.-: ?'rt2er, sin6e %'rs'#nt to t2e %ertinent (#3 t2erein, t2e $e%en$ent s%o'se is entit(e$ to s'r*i*ors2i% %ension, H# 3i$o3@s ri)2t to re6ei*e %ension 1o((o3in) t2e $e&ise o1 2er 2's+#n$ is #(so %#rt o1 t2e 2's+#n$@s 6ontr#6t'#( 6o&%ens#tion.I8.9: