,,ii  #aae? ,,congress  #b;d ,session   
,s4 #cgac  ,,9 ,,! ,,s5ate ,,( ,,!      
,,unit$ ,,/ates  ,decemb] #e1 #bjah,mr4 
,inh(e 7= himself1 ,mr4 ,r\nds1 ,mr4    
,k5n$y1 & ,mr4 ,cruz7 introduc$ ! foll[+
 bill2 :i* 0 read twice & ref]r$ to !   
,committee on ,f9ance  ,a ,,bill  ,to   
appropriate #be1jjj1jjj1jjj = !         
con/ruction ( a bord] wall betwe5 !     
,unit$ ,/ates & ,mexico1 & = o!r        
purposes4  #a4 ,%ort title ,?is ,act may
 be cit$ z ! ,,wall ,act ( #bjah4  #b4  
,m&atory sp5d+ = bord] wall  7a7 ,9     
g5]al ,!re is appropriat$               
#be1jjj1jjj1jjj = ! purpose ( con/ruct+ 
a physical b>ri] along ! s\!rn bord] ( !
 ,unit$ ,/ates4  7b7 ,availability      
,am\nts appropriat$ "u subsection 7a7   
%all rema9 available until exp5d$ = !   
purpose describ$ 9 subsection 7a74  #c4 
,(fsets  7a7 ,eligibility = *ild tax    
cr$it  7#a7 ,9 g5]al ,section #bd7;e7 ( 
! ,int]nal ,rev5ue ,code ( #aihf is     
am5d$ to read z foll[s3  7e7            
,id5tification requirem5ts  7#a7 ,9     

g5]al ,no cr$it %all be all[$ "u ?is    
section to a taxpay] ) respect to any   
qualify+ *ild unless ! taxpay] includes 
on ! return ( tax = ! taxable ye>--     
7,a7 ! "n ( su* qualify+ *ild1 &  7,b7 !
 valid id5tification numb] ( ! taxpay]  
7&1 9 ! case ( a jo9t return1 !         
taxpay]'s sp\se7 & su* qualify+ *ild4   
7#b7 ,valid id5tification numb]  7,a7 ,9
 g5]al ,= purposes ( ?is subsection1 !  
t]m valid id5tification numb] means--   
7i7 9 ! case ( ! taxpay] & any sp\se ( !
 taxpay]1 a social security numb] issu$ 
to ! individual by ! ,social ,security  
,adm9i/ration on or be=e ! due date =   
fil+ ! return = ! taxable ye>1 &  7ii7 9
 ! case ( a qualify+ *ild1 a social     
security numb] issu$ to su* *ild by !   
,social ,security ,adm9i/ration on or   
be=e ! due date = fil+ su* return4  7,b7
 ,exception = individuals prohibit$ f   
engag+ 9 employm5t 9 ,unit$ ,/ates ,=   
purposes ( subp>agraph 7,a77i7 &        
subsection 7h77#d77;,c71 ! t]m social   
security numb] %all n include ! social  

security numb] ( an individual :o is    
prohibit$ f engag+ 9 employm5t 9 !      
,unit$ ,/ates4  4  7#b7 ,con=m+ am5dm5ts
 ,subsection 7h7 ( section #bd ( !      
,int]nal ,rev5ue ,code ( #aihf is       
am5d$-- 7,a7 9 p>agraph 7#a71 by /rik+  
7#g7 & ins]t+ 7#f72  7,b7 9 p>agraph    
7#d71 by am5d+ subp>agraph 7,c7 to read 
z foll[s3  7,c7 ,social ,security numb] 
requir$ ,subp>agraph 7,a7 %all n apply )
 respect to any dep5d5t ( ! taxpay]     
unless ! taxpay] includes on ! return ( 
tax = ! taxable ye>1 = bo? ! taxpay] & !
 dep5d5t1 a social security numb] issu$ 
to ea* su* individual by ! ,social      
,security ,adm9i/ration on or be=e ! due
 date = fil+ su* return4  2 &  7,c7 by  
/rik+ p>agraph 7#g74  7#c7 ,effective   
date ,! am5dm5ts made by ?is subsection 
%all apply to all taxable ye>s end+ aft]
 ! date ( ! enactm5t ( ?is ,act4  7b7   
,individuals prohibit$ f engag+ 9       
employm5t 9 ,unit$ ,/ates n eligible =  
e>n$ income tax cr$it  7#a7 ,9 g5]al    
,subsection 7m7 ( section #cb ( !       

,int]nal ,rev5ue ,code ( #aihf is am5d$ 
to read z foll[s3  7m7 ,id5tification   
numb]s  7#a7 ,9 g5]al ,solely = purposes
 ( subsections 7c77#a77;,e7 &           
7c77#c77;,d71 a taxpay] id5tification   
numb] means a social security numb]     
issu$ to an individual by ! ,social     
,security ,adm9i/ration on or be=e ! due
 date = fil+ ! return = ! taxable ye>4  
7#b7 ,exception = individuals prohibit$ 
f engag+ 9 employm5t 9 ,unit$ ,/ates ,= 
purposes ( p>agraph 7#a71 9 ! case (    
subsection 7c77#a77;,e71 ! t]m social   
security numb] %all n include ! social  
security numb] ( an individual :o is    
prohibit$ f engag+ 9 employm5t 9 !      
,unit$ ,/ates4  4  7#b7 ,effective date 
,! am5dm5t made by ?is subsection %all  
apply to taxable ye>s end+ aft] ! date (
 ! enactm5t ( ?is ,act4  7c7            
,id5tification requirem5t = ,am]ican    
,opportunity & ,lifetime ,le>n+ ,cr$its 
7#a7 ,9 g5]al ,section #be;,a7g77#a7 ( !
 ,int]nal ,rev5ue ,code ( #aihf is am5d$
 by add+ at ! end ! foll[+ new          

subp>agraph3  7,c7 ,social ,security    
numb] requir$  7i7 ,9 g5]al ,= purposes 
( ?is p>agraph1 ! t]m taxpay]           
id5tification numb] means a social      
security numb] issu$ to an individual by
 ! ,social ,security ,adm9i/ration4     
7ii7 ,exception = individuals prohibit$ 
f engag+ 9 employm5t 9 ,unit$ ,/ates ,= 
purposes ( clause 7i71 ! t]m social     
security numb] %all n include ! social  
security numb] ( an individual :o is    
prohibit$ f engag+ 9 employm5t 9 !      
,unit$ ,/ates4  4  7#b7 ,effective date 
,! am5dm5t made by ?is subsection %all  
apply to all taxable ye>s end+ aft] !   
date ( ! enactm5t ( ?is ,act4  7d7 ,fees
 = fil+ a tax return us+ an ,,it9  7#a7 
,9 g5]al ,section #faji7;i7 ( ! ,int]nal
 ,rev5ue ,code ( #aihf is am5d$ by add+ 
at ! end ! foll[+ new p>agraph3  7#e7   
,fee = fil+ tax return us+ an ,,it9     
7,a7 ,9 g5]al ,9 ! case ( any individual
 income tax return fil$ by a taxpay]    
resid+ 9 ! ,unit$ ,/ates1 ! ,secret>y   
%all require ! taxpay] to pay a fee =   

ea* su* return fil$ 9 an am\nt equal to 
! product (--  7i7 ! total numb] (      
individuals includ$ on su* return       
7includ+ any sp\se or dep5d5t ( !       
taxpay]7 ) respect to :om an individual 
taxpay] id5tification numb] has be5     
issu$1 multipli$ by  7ii7 #cjj4  7,b7   
,exception ,subp>agraph 7,a7 %all n     
apply to any individual :o has report$  
to ! ,secret>y t _! social security     
numb] has be5 subject to !ft1 misuse1 or
 misappropriation by ano!r p]son4  4    
7#b7 ,effective date ,! am5dm5t made by 
?is subsection %all apply to returns !  
due date = :i* 7det]m9$ )\t reg>d to    
ext5sions7 is aft] ! date ( ! enactm5t (
 ?is ,act4  7e7 ,ensur+ validity (      
,social ,security numb]s  7#a7 ,9 g5]al 
,section #faji ( ! ,int]nal ,rev5ue     
,code ( #aihf is am5d$ by ins]t+ aft]   
subsection 7d7 ! foll[+ new subsection3 
7e7 ,confirmation ( ,social ,security   
numb]s ,= purposes ( p>agraphs 7#a7 &   
7#c7 ( subsection 7a71 ! ,secret>y1 9   
coord9ation ) ! ,commission] ( ,social  

,security1 %all v]ify t any social      
security acc\nt numb] submitt$ by a     
p]son1 or ) respect to ano!r p]son1 9   
any return1 /atem5t1 or o!r docum5t is--
  7#a7 ! correct social security acc\nt 
numb] z issu$ to su* p]son by !         
,commission] ( ,social ,security1 &     
7#b7 valid & o!rwise unexpir$ z ( ! date
 ( submission ( su* return1 /atem5t1 or 
o!r docum5t4  4  7#b7 ,effective date ,!
 am5dm5t made by ?is subsection %all    
apply to returns1 /atem5ts1 & o!r       
docum5ts submitt$ aft] ! date ( !       
enactm5t ( ?is ,act4  7f7 ,requir+      
ag5cies ,to use ,e-,v]ify ,to confirm   
satisfactory immigration /atus =        
eligibility = c]ta9 f$]ally fund$       
b5efits  7#a7 ,9 g5]al ,section         
#aacg7;a7 ( ! ,social ,security ,act    
7#db ,u4,s4,c4 #acbj;b-#g7;a77 is       
am5d$-- 7,a7 9 p>agraph 7#f71 by /rik+ 2
 & & ins]t+ a semicolon2  7,b7 9        
p>agraph 7#g71 by /rik+ ! p]iod at ! end
 & ins]t+ 2 &2 &  7,c7 by add+ at ! end 
! foll[+3  7#h7 ) respect to any        

applicant =1 or recipi5t (1 b5efits "u a
 program li/$ 9 subsection 7b7 :o is a  
noncitiz5 & ^: eligibility = su* b5efits
 is conditional ^u su* applicant or     
recipi5t hav+ an immigration /atus t    
all[s ! applicant or recipi5t to "w 9 ! 
,unit$ ,/ates1 ! ,/ate ag5cy adm9i/]+   
su* program %all use ! employm5t        
eligibility confirmation program        
describ$ 9 section #djc7;a7 ( ! ,illegal
 ,immigration ,re=m & ,immigrant        
,responsibility ,act ( #aiif 7#h        
,u4,s4,c4 #acbd;a note7 7also kn[n z    
,e-,v]ify7 to confirm t su* applicant or
 recipi5t has su* /atus1 & %all d5y     
eligibility = su* b5efits to any su*    
applicant or recipi5t :o does n h su*   
/atus4  4  7#b7 ,f$]al h\s+ programs    
7,a7 ,section #h7o77#f7 ( ! ,unit$      
,/ates ,h\s+ ,act ( #aicg 7#db ,u4,s4,c4
 #adcg;f7o77#f77 is am5d$ by add+ at !  
end ! foll[+3  7,d7 ,v]ification (      
immigration /atus ,= ea* dwell+ unit =  
:i* a h\s+ assi/ance paym5t contract is 
e/abli%$ "u ?is subsection1 ! public    

h\s+ ag5cy %all1 ) respect to any       
prospective t5ant ( ! dwell+ unit :o is 
a noncitiz5 & ^: eligibility = assi/ance
 is conditional ^u ! t5ant hav+ an      
immigration /atus t all[s ! t5ant to "w 
9 ! ,unit$ ,/ates1 use ! employm5t      
eligibility confirmation program        
describ$ 9 section #djc7;a7 ( ! ,illegal
 ,immigration ,re=m & ,immigrant        
,responsibility ,act ( #aiif 7#h        
,u4,s4,c4 #acbd;a note7 7also kn[n z    
,e-,v]ify7 to confirm t ! t5ant has su* 
/atus & %all d5y eligibility = su*      
assi/ance to any t5ant :o does n h su*  
/atus4  4  7,b7 ,section #h7o77#ac7 ( ! 
,unit$ ,/ates ,h\s+ ,act ( #aicg 7#db   
,u4,s4,c4 #adcg;f7o77#ac77 is am5d$ by  
add+ at ! end ! foll[+3  7,p7           
,v]ification ( immigration /atus ,= ea* 
dwell+ unit 9 a project = :i* a h\s+    
assi/ance paym5t contract is e/abli%$ "u
 ?is subsection1 ! public h\s+ ag5cy    
%all1 ) respect to any prospective t5ant
 ( ! dwell+ unit :o is a noncitiz5 & ^: 
eligibility = assi/ance is conditional  

^u ! t5ant hav+ an immigration /atus t  
all[s ! t5ant to "w 9 ! ,unit$ ,/ates1  
use ! employm5t eligibility confirmation
 program describ$ 9 section #djc7;a7 ( !
 ,illegal ,immigration ,re=m &          
,immigrant ,responsibility ,act ( #aiif 
7#h ,u4,s4,c4 #acbd;a note7 7also kn[n z
 ,e-,v]ify7 to confirm t ! t5ant has su*
 /atus & %all d5y eligibility = su*     
assi/ance to any t5ant :o does n h su*  
/atus4  4  7,c7 ,section #c7;a7 ( !     
,unit$ ,/ates ,h\s+ ,act ( #aicg 7#db   
,u4,s4,c4 #adcg;a7a77 is am5d$ by add+  
at ! end ! foll[+3  7#h7 ,v]ification ( 
immigration /atus ,= ea* public h\s+    
dwell+ unit own$1 assi/$1 or op]at$ by a
 public h\s+ ag5cy1 ! public h\s+ ag5cy 
%all1 ) respect to any prospective t5ant
 ( ! dwell+ unit :o is a noncitiz5 & ^: 
eligibility = assi/ance is conditional  
^u ! t5ant hav+ an immigration /atus t  
all[s ! t5ant to "w 9 ! ,unit$ ,/ates1  
use ! employm5t eligibility confirmation
 program describ$ 9 section #djc7;a7 ( !
 ,illegal ,immigration ,re=m &          

,immigrant ,responsibility ,act ( #aiif 
7#h ,u4,s4,c4 #acbd;a note7 7also kn[n z
 ,e-,v]ify7 to confirm t ! t5ant has su*
 /atus & %all d5y eligibility = su*     
assi/ance to any t5ant :o does n h su*  
/atus4  4  7,d7 ,section #bjb7;i7 ( !   
,h\s+ ,act ( #aiei 7#ab ,u4,s4,c4       
#agjaq7i77 is am5d$ by add+ at ! end !  
foll[+3  7,c7 ,v]ification ( immigration
 /atus ,= ea* dwell+ unit assi/$ "u ?is 
section1 ! own] %all1 ) respect to any  
prospective t5ant ( ! dwell+ unit :o is 
a noncitiz5 & ^: eligibility = assi/ance
 is conditional ^u ! t5ant hav+ an      
immigration /atus t all[s ! t5ant to "w 
9 ! ,unit$ ,/ates1 use ! employm5t      
eligibility confirmation program        
describ$ 9 section #djc7;a7 ( ! ,illegal
 ,immigration ,re=m & ,immigrant        
,responsibility ,act ( #aiif 7#h        
,u4,s4,c4 #acbd;a note7 7also kn[n z    
,e-,v]ify7 to confirm t ! t5ant has su* 
/atus & %all d5y eligibility = su*      
assi/ance to any t5ant :o does n h su*  
/atus4  4  7,e7 ,section #haa7;i77#a7 ( 

! ,cran/on-,gonzalez ,national ,af=dable
 ,h\s+ ,act 7#db ,u4,s4,c4              
#hjac7;i77#a77 is am5d$ by add+ at ! end
 ! foll[+3  7,e7 ,v]ification (         
immigration /atus ,= ea* dwell+ unit    
assi/$ "u ?is section1 ! own] %all1 )   
respect to any prospective t5ant ( !    
dwell+ unit :o is a noncitiz5 & ^:      
eligibility = assi/ance is conditional  
^u ! t5ant hav+ an immigration /atus t  
all[s ! t5ant to "w 9 ! ,unit$ ,/ates1  
use ! employm5t eligibility confirmation
 program describ$ 9 section #djc7;a7 ( !
 ,illegal ,immigration ,re=m &          
,immigrant ,responsibility ,act ( #aiif 
7#h ,u4,s4,c4 #acbd;a note7 7also kn[n z
 ,e-,v]ify7 to confirm t ! t5ant has su*
 /atus & %all d5y eligibility = su*     
assi/ance to any t5ant :o does n h su*  
/atus4  4  7#c7 ,rulemak+  7,a7 ,9 g5]al
 ,! ,secret>y ( ,agriculture1 !         
,secret>y ( ,heal? & ,human ,s]vices1 & 
! ,secret>y ( ,labor %all promulgate    
rules to implem5t section #aacg7;a77#h7 
( ! ,social ,security ,act1 z add$ by   

p>agraph 7#a71 :i* requires ! use (     
,e-,v]ify to v]ify applicant eligibility
 = c]ta9 programs adm9i/]$ by _!        
respective dep>tm5ts4  7,b7 ,h\s+       
programs ,! ,secret>y ( ,h\s+ & ,urban  
,developm5t %all promulgate rules to    
implem5t am5dm5ts made by subp>agraphs  
7,a7 ?r\gh 7,e7 ( p>agraph 7#b71 :i*    
require ! use ( ,e-,v]ify to v]ify t5ant
 eligibility = h\s+ assi/ance programs  
adm9i/]$ by ! ,dep>tm5t ( ,h\s+ & ,urban
 ,developm5t4  7#d7 ,effective date ,!  
am5dm5ts made by ?is subsection %all    
take effect on ,janu>y #a1 #bjai4  #d4  
,m9imum f9es = illegal entry & ov]/ay   
7a7 ,illegal entry ,*apt] #h ( title    
,,ii ( ! ,immigration & ,nationality    
,act 7#h ,u4,s4,c4 #acba et seq47 is    
am5d$--  7#a7 9 section #bge 7#h        
,u4,s4,c4 #acbe7-- 7,a7 9 subsection    
7a7--  7i7 by /rik+ 7#a72  7ii7 by /rik+
 7#b72  7iii7 by /rik+ 7#c72 &  7iv7 by 
/rik+ %all1 = & all t foll[s & ins]t+ ! 
foll[+3 8%all--  7#a7 = ! fir/          
commission ( any su* (f5se1 be f9$ 9    

accordance ) subsection 7b71 imprison$ n
 m ?an #f mon?s1 or bo?2 &  7#b7 = a    
subsequ5t commission ( any su* (f5se1 be
 f9$ 9 accordance ) subsection 7b71     
imprison$ n m ?an #b ye>s1 or bo?4  2 & 
7,b7 9 subsection 7b7-- 7i7 by ins]t+   
7#a7 be=e ,any ali52  7ii7 by /rik+     
civil p5alty ( & all t foll[s ?r\gh     
p>agraph 7#b7 & ins]t+ civil p5alty 9 an
 am\nt equal to n less ?an #c1jjj & n m 
?an #aj1jjj42 &  7iii7 9 ! undesignat$  
matt] at ! end1 by ins]t+ 7#b7 be=e     
,civil p5alties2 &  7#b7 9 section      
#bgf7;a7 7#h ,u4,s4,c4 #acbf7;a771 9 !  
undesignat$ matt] foll[+ p>agraph       
7#b77;,b71 by /rik+ %all be f9$ "u title
 #ah1 ,unit$ ,/ates ,code1 or & ins]t+  
%all be subject to a civil p5alty 9 an  
am\nt equal to n less ?an #c1jjj & n m  
?an #aj1jjj14  7b7 ,ov]/ay ,section     
#bbb7;g7 ( ! ,immigration & ,nationality
 ,act 7#h ,u4,s4,c4 #abjb7;g77 is am5d$ 
by add+ at ! end ! foll[+3  7#c7 ,an    
ali5 describ$ 9 p>agraph 7#a7 %all be   
subject to a civil p5alty 9 an am\nt    

equal to #ej multipli$ by ! numb] (     
mon?s t ! ali5 rema9$ 9 ! ,unit$ ,/ates 
beyond ! ali5's au?oriz$ p]iod ( /ay4  4