!"#$%&'()*
+#),-.%/0()1(2)$'31%4#&2
*56 70(,/0(2)%893'(84(2):#,%1(2)1(),#),-.%/0()1(2)$'31%4#&2
!"#$%&'()*#+,%+%-'.'%//*$$*#/%)-#+*,0*.#1*#2%,0"$'-*,#1*-#'/23,*/4*-#()'#,*+%-*/.#-),#$*#4%0+%,.*5 0*/.#$%&'()*#1*-#4%//*4.*),-#+,%+%-'.'%//*$-6 7*-#4%//*4.*),-#,*$'*/.#1*-#+8,"-*-#*.#*/#2%,0*/.#1*- +8,"-*-#4%0+$*9*-6 :"/-#$*#$"/&"&*#/".),*$; 4*+*/1"/.; '$#*-.#3&"$*0*/.#+%--'<$*#1*#2%,0)$*,#1=").,*- '/23,*/4*-#()*#$"#.,"1'.'%/#"#3&"$*0*/.#4%/-'13,3*-#4%00*#'/23,*/4*-#$%&'()*-6 >/#?%'4'#()*$()*-
*9*0+$*- @
ABC
D%)-#$*-#+8'$%-%+8*-#-%/.#1*-#8%00*-6 D%)-#$*-#8%00*-#-%/.#0%,.*$-6 D%)-#$*-#+8'$%-%+8*-#-%/.#0%,.*$-6
AEC
F)4)/#+8'$%-%+8*#/=*-.#0348"/.6 G)*$()*-#$%&'4'*/-#-%/.#1*-#+8'$%-%+8*-6 G)*$()*-#$%&'4'*/-#/*#-%/.#+"-#0348"/.-6
AHC
F)4)/#8%00*#/=*-.#+",2"'.6 D%)-#$*-#+8'$%-%+8*-#-%/.#1*-#8%00*-6
F)4)/#+8'$%-%+8*#/=*-.#+",2"'.6
:"/-#$*-#.,%'-#4"-; /%)-#,*.,%)?%/-#.%).*-#$*-#4","4.3,'-.'()*-#1*-#'/23,*/4*-#$%&'()*- @ $"#?"$'1'.3#1*#4*- '/23,*/4*-#/*#-*0<$*#13+*/1,*#()*#1*#()*$()*-#0%.-#()=%/#+*).#"++*$*,#I $%&'()*- J; 4%00*#I .%)- J;
I ")4)/ J#*.#I ()*$()*- J K .%).*-#$*-#'/23,*/4*-#"L"/.#$"#0M0*#2%,0*#()* ABC; AEC *. AHC -%/.#3&"$*0*/.
?"$'1*- K *.#$*),#?"$'1'.3#/*#13+*/1#+"-#1)#2"'.#()='$#L#"'.#%)#/%/#1*-#M.,*-#8)0"'/-#'00%,.*$-#%)#+",2"'.-
%)#1*-#+8'$%-%+8*-#0348"/.-6
!"#$%&'()*#+,%+%-'.'%//*$$*#/*#/%)-#+*,0*.#+"-#1=*9+$'()*,#$"#?"$'1'.3#1*#4*-#'/23,*/4*-; 4",#*$$*#/*
+,*/1#+"-#*/#4%0+.*#$"#-.,)4.),*#'/.*,/*#1*-#+8,"-*-#-'0+$*-#()=*$$*#.,"'.* @ *$$*#.,"'.*#$*-#IpJ#*.#$*-#IqJ 4%00*#".%0*-#*.#/=*/#"/"$L-*#+"-#$"#-.,)4.),*#'/.*,/*6 !='/23,*/4* ABC; +",#*9*0+$*; -*,"'.#2%,0"$'-3*
4%00*#IpKqK 1%/4;rJ#N#4*#()'#/*#4%,,*-+%/1#+"-#O#)/#-4830"#1='/23,*/4*-#?"$'1*#1*#$"#$%&'()*
+,%+%-'.'%//*$$*6
P%),#2%,0"$'-*,#$*-#.,%'-#'/23,*/4*-#*.#*9+$'()*,#$*),#?"$'1'.3; '$#2").#).'$'-*,#$"#/%.'%/#1*#+,31'4".6 Q%'.
IHJ#)/*#"<,3?'".'%/#+%),#I R *-.#)/#8%00* J; IMJ#+%),#I R *-.#0%,.*$ J#*.#IPJ#+%),#I R *-.#)/
6;; *5 +#),-.%/0()1(2)$'31%4#&2 +8'$%-%+8* J#A%S#$*-#$"4)/*-#'/1'()*/.#$*-#+$"4*-#%S#'$#2")1,"'.#'/-3,*,#)/#/%0#+%),#%<.*/',#)/*#+8,"-*C6 T."/.#1%//3#4*-#"<,3?'".'%/-; /%)-#-%00*-#*/#0*-),*#1*#,*+,3-*/.*, ABC 4%00*#-)'. @
AUC D%)-#$*-S-%/.M6
D%)-#$*-M-%/.P6 D%)-#$*-S-%/.P6
P*)#'0+%,.*#4*#()*#/%)-#-)<-.'.)%/-#+%),#IHJ; IPJ#*.#IMJ @ /%)-#%<.*/%/-#1*-#'/23,*/4*-#?"$'1*-;
4%00*; +",#*9*0+$*; $"#-)'?"/.* @
AVC
D%)-#$*-#+'/&%)'/-#-%/.#1*-#"/'0")96 D%)-#$*-#"/'0")9#-%/.#0")1'.-6 D%)-#$*-#+'/&%)'/-#-%/.#0")1'.-6
W%)-#"?%/-#).'$'-3#IHJ; IPJ#*.#IM J#+%),#,*0+$"4*,#1*-#+,31'4".-6 X"'-#()=*-.54*#()=)/#+,31'4". Y Z<-*,?%/-#1="<%,1#()='$#/=L#"#+"-#1*#1'[3,*/4*; 1=)/#+%'/.#1*#?)*#$%&'()*; */.,*#I F)4)/#8%00*#/=*-.
+",2"'. J; I \$#/=L#"#+"-#1=8%00*#+",2"'. J#*.#I F)4)/#8%00*#/=*-.#)/*#48%-*#+",2"'.* J6 W%)-#/=).'$'-%/- 1%/4#+"-#$"#/%.'%/#&,"00".'4"$*#1*#I +,31'4". J6 Z/#,*0",()*#")--'#()*#$*-#+,31'4".-#-)<-.'.)3-#O#$"
+$"4*#1*#IH J; IP J#*.#IM J#+*)?*/.#M.,*#1*#4%0+$*9'.3#()*$4%/()* KB */#+",.'4)$'*,; $*-#+,31'4".- +*)?*/.#M.,*#$%&'()*0*/.#4%0+$*9*-; 4=*-.5O51',*#4%/]%/4.'?*-; 1'-]%/4.'?*-; /3&".'?*-#*.#'0+$'4".'?*-6 7=*-.#+%),#4*$"#()*#/%)-#1*?%/-#-%)?*/.#48%'-',#$=*9+,*--'%/#'/3$3&"/.*#I R*-.#)/x.*$#()*#666x· · · J +%),#$*-#$',*6
\$#*-.#'0+%,."/.#1*#/*#+"-#4%/2%/1,*#)/#+,31'4".#A1"/-#$*#-*/-#()*#$"#$%&'()*#1%//*#O#4*#.*,0*C#"?*4
$*#.*,0*#&3/3,"$#()='$#+*).#4%/.*/',6 I P'/&%)'/ J; +",#*9*0+$*; *-.#)/#.*,0*#&3/3,"$; 0"'-#$*#+,31'4".
4%,,*-+%/1"/.#*-.#I R *-.#)/#+'/&%)'/ J#N#$*#+,31'4".#*-.#4*#()'; "?*4#)/#/%0; 2%,0*#)/*#+8,"-*6EW%)- +%)?%/-#%<.*/',#)/#+,31'4".#O#+",.',#1*#/='0+%,.*#()*$$*#+8,"-*; */#,*0+$"^"/.#")#0%'/-#)/#/%0#1"/- 4*..*#1*,/'_,*#+",#.,%'-#+%'/.-6H:*#$"#+8,"-*
A`C a%<*,.#*-.#$="/'0"$#+,323,3#1*#Q"06
/%)-#%<.*/%/-#$*-#+,31'4".-#I R *-.#$="/'0"$#+,323,3#1*#Q"0 J; I a%<*,.#*-.#$="/'0"$#+,323,3#1*#RJ#A4*#()';
+%),#1*-#,"'-%/-#1*#$'-'<'$'.3; *-.#+",2%'-#.,"/-2%,03#*/#I R *-.#.*$#()*#a%<*,.#*-.#-%/#"/'0"$#+,323,3 JC
*.#b/"$*0*/.#")--'#$*#+,31'4".#<'/"',*#I R *-.#)/#"/'0"$#+,323,3#1*· · · J6 W%)-#,*?'*/1,%/-#+$)-#.",1 -),#$*-#+",.'4)$",'.3-#1*#4*#.,%'-'_0*#+,31'4".6
!"#4","4.3,'-.'()*#$%&'()*#$"#+$)-#'0+%,."/.*#1*-#+,31'4".-#*-.#()='$-#+*)?*/.#M.,*#1'.-!"#$%&'(4*,."'/*- 48%-*-6 !*#+,31'4".#I R *-.#)/#+'/&%)'/ J; +",#*9*0+$*; *-.#?,"'#1*#.%)-#$*-#+'/&%)'/-#*.#/=*-.#?,"'#1*
,'*/#1=").,*6 W%)-#"++*$$*,%/-#$=*/-*0<$*#1*#.%).*-#$*-#48%-*-#1%/.#)/#+,31'4".#*-.#?,"')*+,-+.%$/0 1*#4*#+,31'4".6 !=*9.*/-'%/#1)#+,31'4".#I R *-.#)/#+'/&%)'/ J; +",#*9*0+$*; *-.#$=*/-*0<$*#1*#.%)-#$*- +'/&%)'/-; $=*9.*/-'%/#1)#+,31'4".#I R *-.#)/#+'/&%)'/#8*),*)9 J#*-.#$=*/-*0<$*#1*#.%)-#$*-#+'/&%)'/- 8*),*)9#A()'#*-.#)/#-%)-5*/-*0<$*#1*#$=*/-*0<$*#1*#.%)-#$*-#+'/&%)'/-C#*.#"'/-'#1*#-)'.*6 !=*9.*/-'%/
B6 W%)-#"?%/-#?)#O#$"#+6BUH; ()*#/%/#-*)$*0*/. ABC; 0"'-#$=",&)0*/.#-)'?"/.#*-.#3&"$*0*/.#?"$'1* @ D%)-#$*-#"0'-#1*#0%/#&,"/15+_,*#()'#?'.#*/#F)-.,"$'*#-%/.#-%'.#1*-#c"/&%),%)-;
-%'.#1*-#"10',".*),-#1*#$"#$)/*6
D%)-#$*-#c"/&%),%)-#*.#$*-#"10',".*),-#1*#$"#$)/*#"1%,*/.#48"()*#?"48*#()'#,'.
*.#()'#/=*-.#/'#<M.*#/'#,%-*6
D%)-#$*-#"0'-#1*#0%/#&,"/15+_,*#()'#?'.#*/#F)-.,"$'*#"1%,*/.#48"()*#?"48*
()'#,'.#*.#()'#/=*-.#/'#<M.*#/'#,%-*6
E6 7=*-.#+%),#4*..*#,"'-%/#()*#/%)-#"++*$%/-#$*-#+,31'4".-#I +,31'4".'2- J#%); -)'?"/.#d,*&*; I '/-".),3- J6
H6 e.'$'-"/.#$"#1'-.'/4.'%/#()*#/%)-#'/.,%1)',%/-#O#$"#+6Bfg*/.,*#.L+*-#*.#.%c*/-; /%)-#+%),,%/-#1',*#()='$#-="&'.#'4'#1=)/#/%0 1"/-#$*#-*/-#1*#/%05.%c*/6
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.( 6;>
1=)/#+,31'4".#+*).#4%/.*/',#)/#-*)$#%)#0M0*#")4)/#0*0<,*6 !=*9.*/-'%/#1*#I R *-.#)/#-".*$$'.*#1*#$"
.*,,* J#/*#4%/.'*/.#()*#$"#$)/*; *.#$=*9.*/-'%/#1*#I R *-.#)/*#$'4%,/* J#*-.#$=*/-*0<$*#?'1*∅6
!=*9.*/-'%/#]%)*#$*#0M0*#,h$*#+%),#$*-#+,31'4".-#()*#$"#?"$*),#1*#?3,'.3#+%),#$*-#+8,"-*- @ 1"/-#)/*
$%&'()*#*9.*/-'%//*$$*; %/#/*#-='/.3,*--*#()=")9#*9.*/-'%/-#1*-#+,31'4".-; ")9#13/%.".'%/-#1*-#.*,0*- -'/&)$'*,-#*.#O#$"#?"$*),#1*#?3,'.3#1*-#+8,"-*-6 >/#$%&'()*#1*-#+,31'4".-; )/*#+8,"-*#-'/&)$'_,*#-'0+$*#-*,"
?,"'*#-'#*.#-*)$*0*/.#-'#$"#13/%.".'%/#A%)#$*#,323,*/.C#1)#.*,0*#-'/&)$'*,#"++",.'*/.#O#$=*/-*0<$*#()'#*-.
$=*9.*/-'%/#1)#+,31'4".6 I Q"0#*-.#)/#+'/&%)'/#8*),*)9 J; +",#*9*0+$*; *-.#?,"'#-'#*.#-*)$*0*/.#-'#Q"0#A$*
,323,*/.#1*#I Q"0 JC#*-.#)/#0*0<,*#1*#$=*/-*0<$*#1*#.%)-#$*-#+'/&%)'/-#8*),*)9#A()'#*-.#$=*9.*/-'%/#1) +,31'4".#Ix*-.#)/#+'/&%)'/#8*),*)9 JC6 7*..*#,*$".'%/#1*#-".'-2"4.'%/#*/.,*#1*-#+,31'4".-#*.#1*-#48%-*- 1%'.#M.,*#/*..*0*/.#1'-.'/&)3*#1*#$"#+,%+,'3.3#1*-#+8,"-*-#1=M.,*#?,"'*-#%)#2")--*-6
!*#+,*0'*,#O#4$"',*0*/.#2"',*#4*..*#1'-.'/4.'%/#3."'.#$*#+8'$%-%+8*50".830".'4'*/5$%&'4'*/#i%..$%<
d,*&*6
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.(
j'*/#()*#$='13*#A%)#+$).h.#$=).%+'*C#1=)/*#'13%&,"+8'*#"'.#3.3#,3+"/1)*#")#Bk_0*#-'_4$*#A+%),#-%/#8'-5 .%',*; 426j",/*-AEllECC; d,*&*#2).#$*#+,*0'*,#O#$=3$"<%,*,#,'&%),*)-*0*/.#*.#O#$="'1*#1=)/#-L0<%$'-0*
$%&'()*6 Q"#I j*&,'[--48,'2. J#%)#I '13%&,"+8'* J#A.,"1)'.#*/#2,"/^"'-#+",#7%,'/*#j*--%/ @ Ad,*&* BkkkCC#2).
$*#+,*0'*,#-L-._0*#1*#$"#$%&'()*#1*#+,31'4".-6 j'*/#()*#d,*&*#).'$'-"'.#)/#2%,0"$'-0*#<'51'0*/-'%//*$
()*#<*")4%)+#1'-*/.#"/"48,%/'()*-; -"#.83%,'*#*-.#,*-.3*#?"$"<$*#*.#*--*/.'*$$*0*/.#4%,,*4.*#])-()=O /%-#]%),-6
Q"#0%.'?".'%/#*/#$=",,'_,*5+$"/#1*#$='13%&,"+8'*#3."'*/.#$*-#()*-.'%/-#1=)/*#+",.#()*$#*-.#$*#2%/1*0*/.
1*-#?3,'.3-#",'.803.'()*-#*.#1=").,*#+",.#1*#()*$$*#0"/'_,*#'$#*-.#+%--'<$*#1*#$*-#-"'-',6 d,*&*#3."'.
4%/?"'/4)#()*#$=",'.803.'()*#2"'-"'.#+",.'*#1*#$"#$%&'()*; +)'-()*; 4%00*#$"#$%&'()*; *$$*#-="++$'()"'.
O#.%).6 d,*&*#-='/.3,*--"'.#")--'#")9#])-.'b4".'%/-#1*-#2%/1".'%/-#1*#$=",'.803.'()* @ */#$*-#,31)'-"/.#O 1*-#2%/1*0*/.-#$%&'()*-; '$#?%)$"'.#0%/.,*,#()*#$=",'.803.'()*#3."'.#1'&/*#1*#/%.,*#4,%L"/4*6 P%),#$*
0%/.,*,; d,*&*#1*?"'. @
A'C 3."<$',#)/#-L-._0*#1*#$%&'()*#A$='13%&,"+8'*C; .,%)?*,#1*-#"9'%0*-#+$")-'<$*-#*.#1*-#,_&$*-#1='/23,*/4*- Ad,*&* BgfkC K
A''C ,31)',*#$*-#/%0<,*-#*.#$*#+,31'4".#I 666*-.#)/#/%0<,* J#O#$"#$%&'()*#Ad,*&* BggUC K
A'''C 0%/.,*,#()*#$*-#"9'%0*-#1*#P*"/%#()'#2%,0"$'-*/.#$=",'.803.'()*U-%/.#1*-#4"-#-+34'")9#1*-#,_&$*-
$%&'()*-#Ad,*&* BgkH BklHC6
d,*&*#*/#3."'.#O#$"#1*,/'_,*#3."+*#1*#-%/#+,%&,"00*#$%,-()='$#348%)"'.#"?*4#$"#134%)?*,.*#1)#+","1%9*
1*#a)--*$$#A426 +6EVkC6 P,*-()*#")--'#'0+%,."/.#()*#-%/#+,%&,"00*#$%&'4'-.*#3."'*/.#$*-#.83%,'*-#*/
+8'$%-%+8'*#1)#$"/&"&*#()='$#13?*$%++"'.#-),#$*#48*0'/6
7=3."'.#*/#4%//*9'%/#"?*4#A'C#()*#d,*&*#2%,0)$"'.#$"#+,*0'_,*#.83%,'*#-30"/.'()*#0%1*,/*#*/#BgkE6 >$$*
*-.#)/*#.83%,'*#-30"/.'()*#*/#4*#()=*$$*#1%//*#)/*#,3+%/-*#O#$"#()*-.'%/#1*#-"?%',#*/#()%'#4%/-'-.*#$"
-'&/'b4".'%/#1*-#*9+,*--'%/-#<'*/52%,03*-#1=)/*#$"/&)*6V
P",#I /%0#+,%+,* J#A1 2$3+..#4( 5C; d,*&*#*/.*/1#)/*#*9+,*--'%/#()'#13-'&/*#A")#+$)-C#)/#%<]*.#AI /%0
U6 W%)-#,*?'*/1,%/-#O#4*-#"9'%0*-#O#$"#+6H``*.#-)'?"/.-6
V6 d,*&*#3."'.#3&"$*0*/.#$*#+,*0'*,#O#/%.*,#$='0+%,."/4*#4,)4'"$*#1*#$"#1'-.'/4.'%/#*/.,*#$=)-"&*#*.#$"#0*/.'%/#1*#0%.- A426 486B6fC6 Q*$%/#d,*&*; <*")4%)+#1=*,,*),-#*.#4%/2)-'%/-#*/#",'.803.'()*#/"'--*/.#1=)/*#4%/2)-'%/#*/.,*#1*-#/%0<,*-#*.#$*),- /%0-#A"++*$3-#I /)03,")9 JC @ I V J; I m J; I $*#/%0<,*#()'#-)'.#U J; I $"#,"4'/*#4",,3*#+%-'.'?*#1*#EV J#-%/.#.%)-#1*-#*9+,*--'%/-#()' 13-'&/*/.#)/#-*)$#/%0<,*; 4=*-.5O51',*#$*#/%0<,*#V6
6;? *5 +#),-.%/0()1(2)$'31%4#&2 +,%+,* J#48*n#d,*&*#4%,,*-+%/1#1%/4#O#4*#()*#/%)-#"++*$%/-#")]%),1=8)'#I .*,0*#-'/&)$'*, JC6` P%), d,*&*; '$#L#"#.,%'-#4".3&%,'*-#2%/1"0*/."$*-#-L/."9'()*- @ A'C#$*-#3/%/43-#A+8,"-*-#134$",".'?*-C; A''C#$*- /%0-#+,%+,*-#()'#13-'&/*/.#)/#%<]*.#'/1'?'1)*$; A'''C#$*-#+,31'4".-#4%00*#I 666-"'.#<'*/#4%/1)',*#-"
?%'.),* J; I 666*-.#)/#48*?"$ J; I 6664%),.#1"/-#$"#,)* J; I 666*-.#+$)-#&,"/1#()*#0%' J#*.46 ()'#13-'&/*/.#1*- 4%/4*+.-6f
:"/-#I Q*/-#*.#13/%.".'%/ J;d,*&*ABgkE<C#2"'.#$"#1'-.'/4.'%/#*/.,*#$*#-*/-#AI Q'// J; I -*/-* JC#*.#$"#,35 23,*/4*#A%)#13/%.".'%/; I j*1*).)/& J; I ,*2*,*/4* JC#1=)/#.*,0*#-'/&)$'*,#A426d,*&*ABkfB1C#+%),#)/*
.,"1)4.'%/#2,"/^"'-*C6 Q*$%/#$)'; )/#.*,0*#-'/&)$'*,#4%00*#I $*#+,3-'1*/.#1*-#>.".-5e/'- J#"#4%00*#,35 23,*/.#)/#'/1'?'1)#-+34'b()*; 4=*-.5O51',*#j","4c#o)--*'/#Z<"0"#1"/-#/%.,*#4"-; *.#4%00*#-*/-#)/*
4%/1'.'%/#()*#4*.#'/1'?'1)#1%'.#,*0+$',#+%),#M.,*#$*#,323,*/.#1)#.*,0*6 7%00*#'$#.,"'.*#$*-#3/%/43- A+8,"-*-#134$",".'?*-C#4%00*#/%0-#+,%+,*-#1*#?"$*),-#1*#?3,'.3#A1*-#p%<]*.-#$%&'()*-=#()'#-%/.#$*#m,"' :*.#$*#d")99C; $"#1'-.'/4.'%/#-="++$'()*#3&"$*0*/.#")#/'?*")#1*-#+8,"-*- @ $*#,323,*/.#1=)/*#+8,"-*#*-.
-%'.#$*#m,"'; -%'.#$*#d")9; *.#-%/#-*/-#*-.#4*#()*#d,*&*#"++*$$*#)/*#I +*/-3* J#A1 6+'#.7( 5C6 !"#+*/-3*
*9+,'03*#+",#)/*#+8,"-*#-'0+$*#*-.#4%0+%-3*#1*-#-*/-#1*-#*9+,*--'%/-#A/%0-#*.#+,31'4".-C#()=*$$*
4%/.'*/.6g
!*-#.*,0*-#-'/&)$'*,-; +%),d,*&*ABgkE<C; %/.#1*)9#+,%+,'3.3-#-30"/.'()*- @ )/#-*/-#*.#)/*#13/%.".'%/6
!"#13/%.".'%/#*-.#$"#48%-*#0M0*#A>$'-"<*.8#\\ +%),#I $"#,*'/*#1=F/&$*.*,,* J; $*#0".830".'4'*/#1*
q*/"#+%),#I i%..$%<#d,*&* J; $"#?'$$*#0M0*#+%),#I P",'- J#*.46C6 !*#-*/-; -*$%/#d,*&*; *-.#I $*#0%1*#+",
$*()*$#$=%<]*.#*-.#1%//3#+",#$*#/%0 J6 :"/-#()*$#-*/-#+*).5%/#1',*#()*#I V J#*.#I m J#/%)-#I 1%//*/. J
$*#/%0<,*#V#1"/-#)/#4*,."'/#0%1* Y !"#1'[3,*/4*#1*#0%1*-#*-.#+$)-#?'-'<$*; +6 *96 1"/-#$*#4"-#1*#I $"
,*'/*#1=F/&$*.*,,* J#*.#I $"#0_,*#1)#P,'/4*#78",$*- J; *9+,*--'%/-#()'#/%)-#1%//*/.#>$'-"<*.8#\\ 1*
1'[3,*/.*-#0"/'_,*-6 X"'-#+%),()%'#/*#+%),,"'.5%/#+"-#*9+$'()*,#4*..*#1'[3,*/4*#4%00*#1'[3,*/4*
+.-"+&)+%&%$3.+%Y P",4*#()*; -*$%/#d,*&*; )/*#*9+,*--'%/#/="#)/*#13/%.".'%/#()=*/#."/.#()=*$$*#*-.#.'.)$"',*
1=)/#r +",4%),-#s ()'#/%)-#+%,.*#O#-"#13/%.".'%/#A*.#4*#r +",4%),-s +*).#M.,*#"++*$3#I -*/- J#1*#$=*9+,*--'%/
*/#()*-.'%/C6 7%/-'13,%/-#$"#1'[3,*/4*#*/.,*#$*-#1*)9#+8,"-*-#-)'?"/.*- @ A@6C $"#,*'/*#1=F/&$*.*,,* = >$'-"<*.8#\\
7*.#3/%/43#1='1*/.'.3#/*#/%)-#1%//*#$='/2%,0".'%/#-*$%/#$"()*$$*#$"#,*'/*#1=F/&$*.*,,*#*-.#>$'n"<*.8
\\ ()*#-'#/%)-#4%0+,*/%/-#$*-#1*)9#/%0-#).'$'-3-6 7%0+",%/- AAAC O#$"#+8,"-*#-)'?"/.*; *.#2*'&/%/-#)/*
'&/%,"/4*#1*#$"#+8'$%-%+8'*#031'3?"$* @ A@<C $*#:%4.*),#Q)<.'$* = :)/-#Q4%.
!='/2%,0".'%/#()'#/%)-#*-.#"++%,.3*#+", AAAC *-.#()*#$"#+*,-%//*#()'#$=3/%/4*#"#$='/.*/.'%/#1=).'$'-*,#4*- 1*)9#*9+,*--'%/-#4%00*#/%0-#+,%+,*-#*.#()=*$$*#$*-#).'$'-*#+%),#13-'&/*,#$"#0M0*#48%-*6 Q*$%/#d,*&*;
$"#<%//*#*9+$'4".'%/#1*#4*#+83/%0_/*#*-.#()*; 1"/-#)/#4*,."'/#-*/-; 4*#/=*-.#+"-#$=*9+,*--'%/#()'#"
)/*#13/%.".'%/; 0"'-#$=*9+,*--'%/#/*#1%//*#)/*#13/%.".'%/#()=O#()*$()=)/#()'#$"#-"'-'.; 4=*-.5O51',*#()' 4%0+,*/1#-%/#-*/-6 >/#-%00*; )/*#*9+,*--'%/#/=*-.#".."483*#O#-"#13/%.".'%/#()*#+",#$='/.*,031'"',*
1*#-%/#-*/-6
Z,; 1*)9#*9+,*--'%/-#1'[3,*/.*-#+*)?*/.#"?%',#$*#0M0*#-*/- @ I P2*,1 J; I 8%,-* J; I 4"<"$$% J; I 48*?"$ J#%/.
$*#0M0*#-*/-#A4=*-.5O51',*#()=*$$*-#-%/.#-L/%/L0*-C K '$#?"#1*#0M0*#+%),#$*-#0%.-#I 48*?"$ J#*.#I 1*-.,'*, J;
`6 :"/-#$"#.*,0'/%$%&'*#4%/.*0+%,"'/*; %/#,3).'$'-*#I /%0#+,%+,* J#+%),#)/*#-%)-5*-+_4*#1*#.*,0*-#-'/&)$'*,-; '6*6 +%),#1*-
*9+,*--'%/-#4%00*#I i%..$%<#d,*&* J#*.#I i*/_?* J6 \$-#-*#1'-.'/&)*/.#1=").,*-#.*,0*-#-'/&)$'*,-; "++*$3-#I 1*-4,'+.'%/-#13b/'- J;
4%00*#I $=8%00*#$*#+$)-#,'48*#1*#P",'- J; I $*#/%0<,*#()'#-)'.#U J6 726 $*#486k6UO#$"#+6Bfk4'51*--%)-6
f6 !*-#/%0-#4%00)/-#4%00*#I 48*?"$ J; 4%/.,"',*0*/.#O#$"#.,"1'.'%/; /*#-%/.#4%/-'13,3-#()*#4%00*#1*-#+",.'*-#1*-#+,31'5 4".-6 \$#2").#+,*/1,*#*/#4%0+.*#()='$#L#"#")--'#1*-#/%0-#+,%+,*-#?'1*-#4%00*#I $*#+$)-#&,"/1#/%0<,* J#*.#I $"#?%$%/.3#&3/3,"$* J6
g6 W%)-#"?%/-#'/.,%1)'.#4*#+,'/4'+*#1*#4%0+%-'.'%/"$'.3#O#$"#+6Bk6
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.( 6;*
"'/-'#()*#+%),#I *. J#*.#I 0"'- J6 !*-#1'[3,*/4*-#*/.,*#I *. J#*.#I 0"'- J#-%/.#1*-#1'[3,*/4*-#1*#.%/"$'.3#()' ,*$_?*/.#1*#$"#+,"&0".'()*; 4=*-.5O51',*#1*-#1'[3,*/4*-#()'#+*)?*/.#-*#+*,1,*#0M0*#1"/-#)/*#<%//*
.,"1)4.'%/6 !"#.,%'-'_0*#48%-*; 0'-#O#+",.#$*#-*/-#*.#$"#13/%.".'%/; *-.#$"#,*+,3-*/.".'%/#()'#+*).#M.,*
,".."483*#O#)/*#*9+,*--'%/#A%)#+$).h.#O#)/#)-"&*#+",.'4)$'*,#1=)/*#*9+,*--'%/C#N#()'; 4*+*/1"/.; /=*-.
+"-#)/*#+,%+,'3.3#-30"/.'()*6 Q%/#,h$*#/=*-.#+"-#-30"/.'()*; 0"'-#+$).h.#1=%,1,*#+,"&0".'()*6 Q*$%/
d,*&*; )/*#,*+,3-*/.".'%/#*-.#I )/*#'0"&*#'/.*,/*#()'#-=*-.#4%/-.'.)3*#-),#$"#<"-*#1*-#-%)?*/',-#1*- '0+,*--'%/-#-*/-'<$*-#()*#]="'#3+,%)?3*-#*.#1="4.'?'.3-; '/.*,/*-#*.#*9.*,/*-; ()*#]="'#*[*4.)3*- J6 >/
4%/-'13,"/.#$"#,*+,3-*/.".'%/#4%00*#+,%+,'3.3#/%/5-30"/.'()*; d,*&*#?%)$"'.#,*/1,*#$"#-30"/.'()*
+),*0*/.#%<]*4.'?*; *.#3&"$*0*/.#"44*--'<$*#O#.%).#$*#0%/1*6 !"#,*+,3-*/.".'%/; 4%/.,"',*0*/.#") -*/-; *-.#-)<]*4.'?*; 4=*-.5O51',*#()=*$$*#?",'*#N#*/#+,'/4'+*#")#0%'/-#N#+",0'#$*-#'/1'?'1)-#*.#-*$%/
$*-#1'[3,*/.*-#*9+3,'*/4*-#()*#4*-#'/1'?'1)-#"?"'*/.#"?*4#$"#48%-*#13/%.3*6 !*#$"/&"&*; 4*+*/1"/.;
1%'.#M.,*#4"+"<$*#1=*9+,'0*,#)/#4%/.*/)#%<]*4.'2#+%),#()*#$"#4%00)/'4".'%/#-%'.#+%--'<$*#A").,*0*/.;
-*$%/#d,*&*; %/#1*?,"'.#1',*#I 0%/#.83%,_0*#1*#PL.8"&%,* J; I .%/#.83%,_0*#1*#PL.8"&%,* J#*.46C6 X"'-
$"#4%00)/'4".'%/#*.#$"#.,"/-0'--'%/#1*#/%.'%/-#-%/.#+%--'<$*-#A$*#4%/.*/)#1)#.83%,_0*#1*#PL.8"&%,*
*-.#.,"/-0'-#1=)/*#&3/3,".'%/#O#$=").,*C6 P",#4%/-3()*/.#$"#-'&/'b4".'%/#1%'.#M.,*#%<]*4.'?*#*.#/*#+*).
+"-#4%/4*,/*,#$*-#,*+,3-*/.".'%/-6
\$#-*0<$*#4*+*/1"/.#+%--'<$*#()*#1'[3,*/.*-#+*,-%//*-#".."48*/.#1*-#-*/-#1'[3,*/.-#O#)/#0%. @ +%), 0%'; $*#-*/-#1=#I F,'-.%.* J#*-.#1%//3#+",#I $*#0"t.,*#1=F$*9"/1,*#$*#i,"/1 J; +%),#()*$()=)/#1=").,*;
+",#I $=").*),#1*#$"89-#:;<%$=>(J6 :"/-#)/*#/%.*#1*#b/#1*#+"&*#A/6 EC#()'#-*#.,%)?*#+",0'#$*-#+$)- 3/'&0".'()*-#1"/-#$=8'-.%',*#1*#$"#+8'$%-%+8'*;d,*&*ABgkE<C#1'.#()*#1"/-#4*,."'/*-#<%,/*-#1*#.*$$*-
?",'".'%/-#1*#-*/-#-%/.#I .%$3,"<$*- J6 XM0*#-'#%/#"10*.#4*4'; '$#,*-.*#?,"'#()='$#*-.:/%%$?)(()*#1'[35 ,*/.*-#+*,-%//*-#".."48*/.#$*#0M0*#-*/-#")9#0M0*-#*9+,*--'%/-; ."/1'-#()='$#*-.#'0+%--'<$*#*/#+,'/4'+*
()*#1'[3,*/.*-#+*,-%//*-#"--%4'*/.#$"#0M0*#'0"&*#O#)/*#*9+,*--'%/6 !"#03."+8%,*#).'$'-3*#+",#d,*&*
+%),#*9+$'()*,#$*-#,*$".'%/-#*/.,*#13/%.".'%/; -*/-#*.#,*+,3-*/.".'%/#1"/-d,*&*ABgkE<C#*-.#4*$$*#1*#$"
$)/*..* @ Q'#]=%<-*,?*#$"#$)/*#+",#)/*#$)/*..*; %/#"#"["',*#O#A'C#$"#$)/*; A''C#)/*#'0"&*#1*#$"#$)/*#1"/-#$"
$)/*..*; *.#A'''C#)/*#'0"&*#1*#$"#$)/*#-),#0"#,3.'/*; 1"/-#0%/#u'$6 A'''C#()'#4%,,*-+%/1#O#$"#,*+,3-*/.".'%/;
13+*/1#1*#$"#4%/-.'.).'%/#1*#0%/#u'$#*.#*-.#1%/4#-)<]*4.'?*#%)#'1'%-L/4,".'()*6 A''C; ()'#4%,,*-+%/1
")#-*/-;:+>@M.,*#$*#0M0*#+%),#1'[3,*/.-#%<-*,?".*),-; 0M0*#-'#*$$*#*-.#,*$".'?*#1"/-#$*#-*/-#%S#*$$*
13+*/1#1*#$"#+*,-+*4.'?*#48%'-'*#+%),#$"#$)/*..*#*.#0M0*#-='$#L#"#1=").,*-#2"^%/-#+%--'<$*-#1*#?%',#$"
$)/*6 A'C; b/"$*0*/.; ()'#4%,,*-+%/1#O#$"#13/%.".'%/; *-.#*/.'_,*0*/.#%<]*4.'?*#*.#/*#13+*/1#1=")4)/*
0"/'_,*#1*#-*-#%<-*,?".*),-6
d,*&*ABgkE<C#])-.'b*#$='/.,%1)4.'%/#1)#4%/4*+.#1*#-*/-#"?*4#$"#4%/-'13,".'%/#-)'?"/.* @ P%),#-"?%',#()*
$=3/%/43
A@BC $*#0'/'-.,*#2,"/^"'-#1*#$=\/.3,'*),#*/#EllV=W'4%$"-#P")$#Q.3+8"/*#Qv,cwnL#1*#W"&L5 j%4-"
*-.#?,"'; '$#/=*-.#+"-#-*)$*0*/.#/34*--"',*#1*#4%0+,*/1,*#$*-#1*)9#/%0-#+,%+,*-#).'$'-3-;k\$#-*0<$*#()*
AAAC -*#.,%)?*#.%).#O#2"'.#")#0M0*#/'?*")#4%00* @ A@;C W'4%$"-#Q",c%nL=W'4%$"-#Q",c%nL
k6 7*4'#+%),,"'.#'0+$'()*,#1=").,*-#3/%/43-#1='1*/.'.3; 4%00*
A@CC W'4%$"-#P")$#Q.3+8"/*#Qv,cwnL#1*#W"&L5j%4-"=W'4%$"-#Q",c%nL
0"'-#'$#2").#")--'#-"?%',#()'#*-.#$*#0'/'-.,*#2,"/^"'-#1*#$=\/.3,'*),#*/#EllV6 Z,; '$#L#"#)/#").,*#3/%/43#1='1*/.'.3; +,%48*#1*
AAAC; +%),#$"#4%0+,38*/-'%/#1)()*$#4*$"#/=*-.#+"-#/34*--"',* @
A@DC $*#0'/'-.,*#2,"/^"'-#1*#$=\/.3,'*),#*/#EllV=$*#0'/'-.,*#2,"/^"'-#1*#$=\/.3,'*),#*/#EllV
6>E *5 +#),-.%/0()1(2)$'31%4#&2
\$#L#"#)/*#").,*#1'[3,*/4*#*/.,*#$*-#3/%/43- A@BC *. A@;C A*.#*/.,* A@CC *. A@DCC @ A@BC /%)-#1%//*#)/*
'/2%,0".'%/; /%)-#'/2%,0*#1=)/#2"'.#*0+','()*#()*#/%)-#"),'%/-#+)#'&/%,*,6 A@BC *-.#"++*$3#I "#+%-.*5 ,'%,' J; +",4*#()='$#/*#+*).#M.,*#-)#()*#-),#$"#<"-*#1*#$=*9+3,'*/4*#A*96 @ I !*#48%4%$".#*-.#-)4,3 J; I P",'-#*-.
)/*#+$)-#&,"/1*#?'$$*#()*#X",-*'$$* J; I >")#x#o2Z JC6 A@;C; 1=").,*#+",.; /%)-#'/2%,0*#-%'.#1=)/*#<"/"$'.3 -%'.#1*#,'*/#1)#.%).6 \$#*-.#?,"'#+%),#.%).#/%0#+,%+,*#IaJ#()*a=a6 W%)-#$*#-"?%/-#I "#+,'%,' J; +)'-()*
/%)-#/="?%/-#+"-#<*-%'/#1=*9+3,'*/4*#+%),#$*#-"?%',; *.#+",4*#()*#/%)-#+%)?%/-#/%)-#4%/?"'/4,*#1*#-"
?3,'.3#+",#$"#,"'-%/#+),*#A*96 @ I EyExU J; I .%).#43$'<"."',*#*-.#/%/50",'3 J; I -'#Q"0#*-.#+$)-#&,"/1#()*
X",'"#*.#X",'"#*-.#+$)-#&,"/1*#()*#78,'-.'/*; "$%,-#Q"0#*-.#+$)-#&,"/1#()*#78,'-.'/* JC6 \$#2").#*/.,*5 +,*/1,*#)/#$%/&#?%L"&*#+%),#.,%)?*,#()*#I $"#-%$).'%/#1*#$=3/'&0*#1*#$"#?'*#x#Bf J; 0"'-#%/#-"'.#1_-#$*
13+",.#()*#I Bf#x#Bf J#*.#()*#I $"#-%$).'%/#1*#$=3/'&0*#1*#$"#?'*#x#$"#-%$).'%/#1*#$=3/'&0*#1*#$"#?'* J6Bl X"'-#4%00*/.#)/*#"z,0".'%/#1='1*/.'.3#+*).5*$$*#M.,*#?,"'*#*.#"#+%-.*,'%,'#A'/2%,0".'?*C#*/#0M0*
.*0+- Y !"#1'[3,*/4*#*/.,*#$*-#1*)9#"z,0".'%/-#1='1*/.'.3 A@6C *. A@<C; -'#$*-#1*)9#-%/.#?,"'*-; /*
+*).#+"-#4%/4*,/*,#$*-#,323,*/.-#1*-#1*)9#*9+,*--'%/-#).'$'-3*-6 e/#").,*#"-+*4.#1*#$"#-'&/'b4".'%/#1*- /%0<,*-#+,%+,*-#1%'.#"$%,-#M.,*#,*-+%/-"<$*#+%),#$"#1'[3,*/4*#*/#r ?"$*),#4%&/'.'?*s */.,* A@6C *. A@<C6BB 7=*-.#4*.#").,*#"-+*4.#()*#d,*&*#"++*$$*#$*#I -*/- J#1=)/#/%0#+,%+,*#*.#()='$#'1*/.'b*#O#$"#2%'-#"?*4#-"
r ?"$*),#4%&/'.'?*s AI2"7+..-.$%A+"@JC#*.#"?*4#$"#r 0"/'_,*#1%/.#$*#,323,*/.#*-.#1%//3#s AI6+3+?+.B
;+$-%A+$%+&'+"&C+'+>->.3JC6
d,*&*#1'-.'/&)"'.#1%/4#1*-#+8,"-*-#N#"/"$L.'()*-#N#4%00* A@;C 1*-#+8,"-*-#N#-L/.83.'()*-#N#4%00*
A@BC6 e/*#+8,"-*#*-.#"/"$L.'()*#-'#*.#-*)$*0*/.#-'#*$$*#*-.#?,"'*#%)#2")--*#*/#?*,.)#1*#-"#-'&/'b4".'%/#A*.
1%/4#1*#$"#-'&/'b4".'%/#1*-#0%.-#()=*$$*#4%/.'*/.C#A*96 I .%).#43$'<"."',*#*-.#/%/50",'3 J; I )/#0",'#*-.
)/#8%00* J; I )/#48".#/%',#*-.#)/#48". JC6 e/*#+8,"-*#*-.#-L/.83.'()*; +",#4%/.,*; -'#%/#/*#+*).#'&/%,*, -"#?3,'.3#0M0*#-'#%/#4%0+,*/1#-"#-'&/'b4".'%/#A*96 I \$#2"'.#<*") J; I q*#0="++*$$*#P8'$'++ JC6
d,*&*#'1*/.'b"'.#$"#,323,*/4*#A$"#13/%.".'%/#%)#$=*9.*/-'%/C#1=)/*#+8,"-*#O#-"#?"$*),#1*#?3,'.3#*.#$*
-*/-#O#4*#()='$#"++*$$*#I )/*#+*/-3* J#AI *'/#i*1"/c* JC6 7=*-.#+%),#4*..*#,"'-%/#()=)/*#$%&'()*#*-.#1'.*
I *9.*/-'%/*$$* J#-'#*$$*#/*#4%/4*,/*#()*#$*-#?"$*),-#1*#?3,'.3#1*-#+8,"-*-#()=*$$*#.,"'.*#*.#/%/#+"-#$*),- -'&/'b4".'%/-6
!"#13/%.".'%/#1=)/#3/%/43#*-.#)/*#?"$*),#1*#?3,'.3; 4=*-.5O51',*#-%'.#$*#m,"'; -%'.#$*#d")96 P%),#d,*&*;
$*#m,"'#*.#$*#d")9#-%/.#1*-#%<]*.-#A/%/5+8L-'()*-; <'*/#-{,C#*.#'$-#-%/.#$*-#-*)$*-#?"$*),-#1*#?3,'.36 d,*&*
1%//*#1*-#",&)0*/.-#+%),#$"#.8_-*#-*$%/#$"()*$$*$)&+%-&:/%%$?)(1*#+,*/1,*#$"#?"$*),#1*#?3,'.3#4%00*
13/%.".'%/#1=)/*#+8,"-*6 Q*-#",&)0*/.-#-%/.#<"-3-#-),#$*#+,'/4'+*#1*#4%0+%-'.'%//"$'.3 @ $"#13/%.".'%/
1=)/*#*9+,*--'%/#4%0+$*9*#4%00*#$=*-.#)/#3/%/43#*-.#)/*#2%/4.'%/#1*-#13/%.".'%/-#1*#-*-#+",.'*- @ -'
%/#,*0+$"4*#)/*#+",.'*#1*#$=3/%/43#+",#)/*#").,*#"L"/.#$"#0M0*#13/%.".'%/; $"#13/%.".'%/#1*#$=3/%/43 /*#1*?,"'.#+"-#48"/&*,6 F'/-'; 4*#()'#/*#48"/&*#+"-#-'#%/#,*0+$"4*#1"/-#)/#3/%/43#)/*#+",.'*#"?*4 )/*#*9+,*--'%/#()'#"#$"#0M0*#13/%.".'%/#*-.#$"#?"$*),#1*#?3,'.3 @ $*-#*9+,*--'%/-#"L"/.#$*-#0M0*- 13/%.".'%/-#+*)?*/.#M.,*#-)<-.'.)3*-#$*-#)/*-#+%),#$*-#").,*-%#)D#&D+"$-#-(A*/#+,3-*,?"/.#$"#?"$*),#1*
?3,'.3#1*#$"#+8,"-*#*/#()*-.'%/C6 !"#+*/-3*#*9+,'03*; 4*+*/1"/.; +*).#48"/&*,#4%00*#%/#$*#?%'.#1"/-
$=*9*0+$*#-)'?"/. @
A@>C !=3.%'$*#1)#0".'/#*-.#)/#4%,+-#'$$)0'/3#+",#$*#Q%$*'$6
Q'#%/#,*0+$"4*#I $=3.%'$*#1)#0".'/ J#"?*4#$=*9+,*--'%/#I $=3.%'$*#1)#-%', J#()'#"#$"#0M0*#13/%.".'%/#A$"
+$"/_.*#m*/)-C; %/#%<.'*/. @
Bl6 e/*#4%//"'--"/4*#*-.#1'.*#I "#+,'%,' J#-'#-"#])-.'b4".'%/#A%)#")#0%'/-#)/*#1*#-*-#])-.'b4".'%/-#+%--'<$*C#r /*#13+*/1#+"- 1*#/%-#-*/-s; 4=*-.5O51',*#/*#2"'.#+"-#,*4%),-#O#1*-#4%//"'--"/4*-#()*#/%)-#"?%/-#"4()'-*-#O#.,"?*,-#)/#1*#/%-#4'/(#-*/-6 e/*
4%//"'--"/4*#()'#*-.#])-.'b"<$*#+",#1*-#4%/-'13,".'%/-#/%/5*0+','()*-#AI 1"/-#$"#48"'-*5$%/&)* JC#*-.#1'.*#I "#+%-.*,'%,' J6 BB6 7*..*#'/23,*/4*#,*-.*#-),#()*$()*-#+,3-)++%-'.'%/-#."4'.*-6
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.( 6>6
A@?C !=3.%'$*#1)#-%',#*-.#)/#4%,+-#'$$)0'/3#+",#$*#Q%$*'$6
A@>C *. AAAC %/.#$"#0M0*#13/%.".'%/; 0"'-#'$-#*9+,'0*/.#1*-#+*/-3*-#1'[3,*/.*-6 F$%,-#$"#+*/-3*#/*
+*).#+"-#M.,*#$"#13/%.".'%/#1=)/#3/%/436 7*#()'#/*#48"/&*#+"-#*/.,* A@>C *. A@?C; 4*+*/1"/.; *-.#$"
?"$*),#1*#?3,'.36 Q' A@>C *-.#?,"'*; A@?C $=*-.#3&"$*0*/.; -' A@>C *-.#2")9; $*#0M0*#?").#+%), A@?C AA@>C *.
A@?C -%/.#0".3,'*$$*0*/.#3()'?"$*/.-C6 d,*&*#/*#+,%)?*#+"-#()*#,'*/#1=").,*#/=*-.#4%/-."/.#*/.,* A@>C *.
A@?C *.; +$)-#&3/3,"$*0*/.; 1"/-#.%)-#$*-#,*0+$"4*0*/.-#()'#+,3-*,?*/.#$"#13/%.".'%/6 \$#/*#130%/.,*
1%/4#+"-#()*#$"#13/%.".'%/#1=)/#3/%/43#*-.#)/*#?"$*),#1*#?3,'.36 \$#0%/.,*#-*)$*0*/.#()*#4*#/*#+*).
M.,*#$"#+*/-3*#*9+,'03*#*.#()*#$"#?"$*),#1*#?3,'.3#-".'-2"'.#$*#4,'._,*#$*#+$)-#'0+%,."/.#+%),#()"$'b*, 4%00*#13/%.".'%/#1=)/#3/%/43#A1*#,*-.*,#'/?",'"/.#0"$&,3#1*-#,*0+$"4*0*/.-#1*#+",.'*-#+",#1=").,*-
*9+,*--'%/-#()'#%/.#$"#0M0*#13/%.".'%/C6 !*#1*)9'_0*#",&)0*/.#1*#d,*&*#,3-'1*#1"/-#$=%<-*,?".'%/
-*$%/#$"()*$$*#/%)-#/%)-#'/.3,*--%/-#")9#13/%.".'%/-#1*-#.*,0*-#()"/1#/%)-#?%)$%/-#4%//"t.,*#$"#?"$*), 1*#?3,'.3#1=)/#3/%/43 K /%)-#,*.,%)?%/-#'4'#$"#1'-.'/4.'%/#+,'/4'+"$*#*/.,*#$*-#3/%/43-#"--*,.%,'()*-#*.
4*)9#1*#$"#b4.'%/ @
A@*C e$L--*#13<",()*#O#\.8"()*6
>/#$'-"/.#$=Z1L--3*; %/#/*#-*#1*0"/1*#+"-#-'#I e$L--* J#"#<'*/#)/*#13/%.".'%/; 4=*-.5O51',*#-'#e$L--*#"
*9'-.36 Q'#%/#-*#1*0"/1*; 4*+*/1"/.; ()*$$*#*-.#$"#?"$*),#1*#?3,'.3#1* A@*C A*/#$'-"/.#$=Z1L--3*#4%00*
.*9.*#8'-.%,'()*C; '$#1*?'*/.#'0+%,."/.#1*#-"?%',#-'#I e$L--* J#"#)/*#13/%.".'%/6
!='1*/.'b4".'%/#1*#$"#13/%.".'%/#1*-#+8,"-*-#"?*4#$*),-#?"$*),-#1*#?3,'.3#"#4%00*#4%/-3()*/4*#()*
.%).*-#$*-#+8,"-*-#?,"'*-#%/.#$"#0M0*#13/%.".'%/; 4=*-.5O51',*#$*#m,"'; *.#.%).*-#$*-#+8,"-*-#2")--*- 13/%.*/.#$*#d")96 d,*&*#$="--)0*; */#1'-"/.#()*#4*#()'#/%)-#'/.3,*--*#1"/-#$=#3/%/43; 4*#/=*-.#+"-#])-.*
-"#13/%.".'%/; 0"'-#$*#,"++%,.#*/.,*#-%/#-*/-#*.#4*..*#1*,/'_,*; $"#0"/'_,*#1%/.#$*#m,"'#A%)#$*#d")9C#/%)-
*-.#1%//3#+",#)/*#+8,"-*6 !"#?"$*),#1*#?3,'.3#/=*-.#()*#$*#<).; $"#b/#1)#+",4%),-#()'#/%)-#'/.3,*--*#*.
()'#*-.#$*#-*/-#1*#$=3/%/436
!*#-*/-#1=)/#3/%/43#*-.#$"#+*/-3*#*9+,'03*#+",#$=3/%/436BEd,*&*ABkBg"C#"z,0*#*/4%,*#)/*#2%'-#()=")--' 1"/-#$*#4"-#1*-#3/%/43-; $*-#-*/-#A4=*-.5O51',*#$*-#+*/-3*-C#-%/.#%<]*4.'2-; 0M0*#-='$-#/*#-%/.#+"-#+8L5 -'()*-6 \$-#*9'-.*/.#1"/-#4*#()*#d,*&*#"++*$$*#I )/#.,%'-'_0*#,_&/* J; )/#4'*$#+$".%/'4'*/#1=%<]*.-#"<-5 .,"'.-#()'#-%/.#%<]*4.'2-; 0"'-#/%/5+8L-'()*-6 !*-#+*/-3*-#+*)?*/.#M.,*#-"'-'*-#*.#*9+,'03*-; 0"'-#*$$*- /="++",.'*//*/.#O#+*,-%//*6 7%00*#$*-#*/.'.3-#0*/."$*-; $*-#4%/4*+.-#*.#$*-#+*/-3*-#/*#-%/.#+"-#+*,5 4*+.'<$*-; 0"'-#'$-#1'[_,*/.#1=*$$*-#*/#3."/.#+)<$'()*-; %<]*4.'2-#*.#/%/#+"-#-)<]*4.'2-6 e/*#+*/-3*#*-.
?,"'*#%)#2")--*#'/13+*/1"00*/.#1)#2"'.#()=%/#$*#-"48*#%)#()=*$$*#"'.#3.3#-"'-'*#%)#*9+,'03*6BH!*-#$%'- 1*#|*+$*,#3."'*/.#?,"'*-#"?"/.#$"#/"'--"/4*#1*#|*+$*,#*.; -'#*$$*-#-%/.#?,"'*-; *$$*-#$*#,*-.*,%/.#+%), .%)]%),-#A0"$8*),*)-*0*/.#*$$*-#-%/.#2")--*-; 4%00*#"#b/'#+",#$*#130%/.,*,#>'/-.*'/C6
j'*/#()=*$$*#-%'.#"--*n#'/.)'.'?*; $"#.8_-*#1*#d,*&*#()*#$"#-'&/'b4".'%/#1*-#/%0-#+,%+,*-#"#)/*#4%0+%5 -"/.*#1*-4,'+.'?*#A$*#-*/-C#-%)$_?*#1*#&,"?*-#+,%<$_0*-6 :'-4).%/-5*/#1*#()*$()*-#)/-6
e/#+,*0'*,#+,%<$_0*#*-.#'/.'0*0*/.#$'3#O#$"#()*-.'%/#1*#-"?%',#4%00*/.#'$#2").#4%/4*?%',#$*#-*/- d,3&3*/6 F++*$%/-#)/*#+8,"-*#I "/"$L.'()* J#-='$#*-.#-)z-"/.#1*#$"#4%0+,*/1,*#+%),#,*4%//"t.,*#-"
?3,'.3#%)#2")--*.36 \$#-*0<$*#"$%,-#()*#-'#/%)-#-"'--'-%/-#$*#-*/-#1*-#*9+,*--'%/-#1=)/*#+8,"-*#()*#/%)- 4%0+,*/%/-; <*")4%)+#1*#+8,"-*-#1*?'*//*/.#"/"$L.'()*-#()'#'/.)'.'?*0*/.#/*#$*#-%/.#+"-6 Q)++%-%/- ()*#$*#-*/-#1)#/%0#+,%+,*#I F,'-.%.* J#*-.#1%//3#+",#I $=3$_?*#$*#+$)-#43$_<,*#1*#P$".%/ J6 G)*#1',*#"$%,-
BE6 >.#4=*-.#1"/-#4*#-*/-5$O#()=%/#+*).#1',*#()*#+%),#d,*&*#)/*#+*/-3*#*-.#)/#r 0%1*#1*#1%/".'%/#s 1=)/*#?"$*),#1*#?3,'.36 BH6 d,*&*#2"'.#)/*#1'-.'/4.'%/#.,"1'.'%//*$$*#A()'#-*#,*.,%)?*#48*n#$*-#Q.%}4'*/-#*.#:*-4",.*-C#*/.,*#-"'-',#)/*#+*/-3*#*.#])&*,6 e/#])&*0*/.#*-.#$="--*,.'%/#1=)/*#+*/-3*; 0"'-#%/#+*).#-"'-',#)/*#+*/-3*#-"/-#$="z,0*,; +6 *96 */#+%-"/.#)/*#()*-.'%/6 !*#-*/-#1*
I X",-*'$$*#*-.#*/#d,"/4*6 J#*.#I >-.54*#()*#X",-*'$$*#*-.#*/#d,"/4* Y J#*-.#$*#0M0*; 0"'-#$"#2%,4*#1*-#1*)9#+8,"-*-#*-.#1'[3,*/.*-6 e/*#"--*,.'%/#"#)/*#2%,4*#"--*,.%,'()*; *.#)/*#()*-.'%/#"#)/*#2%,4*#'/.*,,%&".'?*6 7%00*#/%)-#"?%/-#?)#O#$"#+6BlV; $"#2%,4*
"--*,.%,'()*#1'-.'/&)*#3&"$*0*/.#$*-#"--*,.'%/-#1*-#-)++%-'.'%/-6
6>< *5 +#),-.%/0()1(2)$'31%4#&2
1*#$"#+8,"-*#-)'?"/.* @
A@6EC F,'-.%.*#*-.#$=3$_?*#$*#+$)-#43$_<,*#1*#P$".%/6
>-.54*#()* A@6EC *-.#"/"$L.'()* Y "#+,'%,' Y \$#/=*-.#+"-#4$"',#4%00*/.#d,*&*#"),"'.#+)#$*#/'*,6 7*+*/1"/.;
/%)-#/=",,'?%/-#/'#+",#,*~*9'%/#-),#$*#-*/-#1*-#0%.-#/'#+",#,"'-%//*0*/.#"#+,'%,'#O#3."<$',#-'#?,"'0*/.
F,'-.%.*#3."'.#$=3$_?*#$*#+$)-#43$_<,*#1*#P$".%/6 e/*#0"/'_,*#1*#,*/1,*#4*..*#4,'.'()*#+$)-#+*,-+'4"4*
*-.#1*#4%/-'13,*,#$=3/%/43#-)'?"/. @
A@66C F,'-.%.*#"),"'.#+)#/*#+"-#M.,*#$=3$_?*#$*#+$)-#43$_<,*#1*#P$".%/6
A@66C; 4%00*#/%)-#$*#1'.|,'+c*ABkfEC; *-.#?,"'#N#0"'-#4%00*/.#$*#+*).5'$#M.,*#1="+,_-#$"#.83%,'*#1*
d,*&* YBU
!"#.83%,'*#1*#d,*&*#-%)$_?*#)/#").,*#+,%<$_0*6 >$$*#1%'.#.,"'.*,#1*#4%/.,*5*9*0+$*-#"++",*/.-#4%/.,*
$*#+,'/4'+*#1*#4%0+%-'.'%//"$'.3#.*$#$*#-)'?"/. @
A@6<C 7%+*,/'4#4,%L"'.#()*#•$*-#%,<'.*-#1*-#+$"/_.*-#3."'*/.#1*-#4*,4$*-€6
!"#+8,"-*#*/.'_,* A@6<C *-.#?,"'*; 0M0*#-'#$*#-%)-53/%/43#I $*-#%,<'.*-#1*-#+$"/_.*-#-%/.#1*-#4*,4$*- J#*-.
2")9#A4*#-%/.#1*-#*$$'+-*-C6 X"'-#-'#%/#,*0+$"4*#$*#-%)-53/%/43#+",#)/#").,*#()'#"#$"#0M0*#13/%.".'%/
A$*#d")9C#%/#%<.'*/.#)/#3/%/43#2")9 @
A@6BC 7%+*,/'4#4,%L"'.#()*#•$"#!)/*#3."'.#)/*#+%M$*€6
!*#+,'/4'+*#1*#4%0+%-'.'%//"$'.3#*-.#1%/4#?'%$3#1"/-#$*#4"-#1*-#*9+,*--'%/-#4%00*#I 7%+*,/'4#4,%L"'.
()*#R J; ()=%/#"++*$$*; -)'?"/.#a)--*$$; I "..'.)1*-#+,%+%-'.'%//*$$*- J#A+)'-()=*$$*-#*9+,'0*/.; -*$%/
)/*#4*,."'/*#.83%,'*; 1*-#"..'.)1*-#*/?*,-#1*-#+,%+%-'.'%/-; 4%/^)*-#4%00*#%<]*.-#"<-.,"'.-#4%00*
$*-#+*/-3*-#d,*&3*//*-C6 !"#,3"4.'%/#1*#d,*&*#*-.#1*#4%/-*,?*,#$*#+,'/4'+*#1*#4%0+%-'.'%//"$'.3#*/
,3'/.*,+,3."/.#4*-#4%/.*9.*- @ 1"/-#4*-#4%/.*9.*-54'#A()='$#"++*$$*#I 4%/.*9.*-#'/1',*4.- JC#$"#13/%.".'%/
1*-#0%.-#*-.#$*),#-*/-#%,1'/"',*6BV \$-#%/.#1%/4#$*),#-*/-#4%00*#I 13/%.".'%/#'/1',*4.* J#A13/%.".'%/
1"/-#1*-#4%/.*9.*-#'/1',*4.*-C6 !"#+,*)?*; 1*#$="?'-#1*#d,*&*; *-.#()*#1"/-#$*-#,*0+$"4*0*/.-#+",#1*-
*9+,*--'%/-#()'#%/.#$*#0M0*#-*/-; $"#?"$*),#1*#?3,'.3#1)#.%).#/*#48"/&*#+"-6 A@6CC 7%+*,/'4#4,%L"'.#()*#•$*-#+",4%),-#1*-#+$"/_.*-#3."'*/.#4',4)$"',*-€6
A@6CC; %S#%/#"#,*0+$"43#$*#-%)-53/%/43#+",#)/#").,*#()'#"#$*#0M0*#-*/-; "#$"#0M0*#?"$*),#1*#?3,'.3#()*
A@6<C A$*#m,"'#1"/-#4*#4"-C6B`
BU6 W%)-#,*?'*/1,%/-#O#$"#4,'.'()*#,323,*/.'"$'-.*#1*#d,*&*#*.#*/#+",.'4)$'*,#O#4*.#",&)0*/.#"++*$3#I 0%1"$ J#1*#|,'+c*; 1"/-
$*#486BE6U6
BV6 d,*&*#/*#1'.#+,*-()*#,'*/#-),#$*#-*/-#'/1',*4.; -")2#$*#-)'?"/. @ I •R€#:"/-#4*#4"-; $"#+,%+%-'.'%/#-)<%,1%//3*#"#+%), 13/%.".'%/#)/*#+*/-3*#*.#/%/#)/*#?"$*),#1*#?3,'.3 K -%/#-*/-#/=*-.#+"-#)/*#+*/-3*; 4=*-.#$*#-*/-#1*-#0%.-#I $"#+*/-3*#()*R J; *.#4*
-*/-#,*+,3-*/.*#)/*#+",.'*#-*)$*0*/.#1)#-*/-#1*#$"#+,%+%-'.'%/#4%0+$*9*#.%).#*/.'_,*6 J#Ad,*&* BkfB1@ BBE5BBHC#!"#()*-.'%/#3."'.
"<%,13*#+",#78),48#1"/-#-%/#",.'4$*#I F d%,0)$".'%/#%2#.8*#!%&'4#%2#Q*/-*#"/1#:*/%.".'%/ J78),48ABkVB BkfH BkfUCKQ"$0%/
ABkkHC6
B`6 P$)-#+,34'-*0*/.; $"#-.,)4.),*#1*#$=",&)0*/.#1*#d,*&*#+%),#$"#.8_-*#-*$%/#$"()*$$*#$"#13/%.".'%/#'/1',*4.*#*-.#$*#-*/-#1',*4.
*-.#$"#-)'?"/.* @
B6 $*#+,'/4'+*#1*#4%0+%-'.'%/"$'.3#A"++$'()3#O#$"#13/%.".'%/#*.#")9#3/%/43-C @ $"#13/%.".'%/#1=)/#3/%/43#*-.#)/*#2%/4.'%/
1*-#13/%.".'%/-#1*#-*-#+",.'*-6
E6 A@6<C *. A@6BC %/.#1'[3,*/.*-#13/%.".'%/-#A$*#m,"'#*.#$*#d")9C6
H6 :%/4; '$-#1%'?*/.#4%/.*/',#1*-#+",.'*-a*.b.*$$*-#()*#$"#13/%.".'%/#1*a*-.#1'[3,*/.*#1*#4*$$*#1*b6
U6 !*-#-*)$*-#+",.'*-a*.b1*-()*$-#4*$"#+%),,"'.#M.,*#?,"'#-%/.#$*-#-%)-53/%/43-#()'#-+34'b*/.#$*#4%/.*/)#1*#$"#4,%L"/4*#1*
|*+$*,6
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.( 6>B :*)9#+,%<$_0*-#+,'/4'+")9#-),?'*//*/.#"$%,-#"?*4#4*..*#.83%,'*#1*#13/%.".'%/#'/1',*4.* @ A'C#!='13*
()*#$*-#0%.-#/=%/.#+"-#$"#0M0*#13/%.".'%/#1"/-#.%)-#$*-#4%/.*9.*-#*-.#4%/.,*5'/.)'.'?*6 A''C#d,*&*#/*#1'.
+"-#4$"',*0*/.#4*#()*#4=*-.#+%),#1*)9#*9+,*--'%/-#1="?%',#$*#0M0*#-*/-#A'$#/*#1%//*#+"-#1*#4,'._,*-#1*
-L/%/L0'*C#*.#'$#*-.#"$%,-#1'z4'$*#1*#-"?%',#()"/1#1*)9#*9+,*--'%/-#%/.#$"#0M0*#13/%.".'%/#'/1',*4.*6 Q*$%/#$"#.83%,'*#d,*&3*//*#1*-#+,31'4".-; $"#13/%.".'%/#1=)/#+,31'4".#4%00*#I R*-.#)/*#2*00* J; I R*-.
)/#"/'0"$ J; I R"'0*#RJ; I R*-.#$*#2,_,*#1*#RJ#*-.#)/#4%/4*+.6 e/#4%/4*+.#*-.#)/*#2%/4.'%/#1%/.#$"#?"$*),
*-.#)/*#?"$*),#1*#?3,'.36 !*#4%/4*+.#13/%.3#+",#I R*-.#)/#8%00* J; +",#*9*0+$*; *-.#)/*#2%/4.'%/#()' +,*/1#4%00*#",&)0*/.-#1*-#48%-*-#*.#()'#1%//*#4%00*#?"$*),#$*#m,"'#-'#$"#48%-*#()=*$$*#"#+,'-#4%00*
",&)0*/.#3."'.#)/#8%00*; *.#*$$*#1%//*#4%00*#?"$*),#$*#d")9#1"/-#.%)-#$*-#").,*-#4"-#A4=*-.5O51',*
1"/-#.%)-#$*-#4"-#%S#-%/#",&)0*/.#/=3."'.#+"-#)/#8%00*C6 7%0+",%/-#$"#2%/4.'%/#0".830".'()* @
f(x)≡x2Bf f(3) = 9
O#$"#2%/4.'%/#-)'?"/.* @
f(x)≡x*-.#)/#8%00* (. . .*-.#)/#8%00*) (Q%4,".*) =$*#m,"' (. . .*-.#)/#8%00*) ($"#?'$$*#1*#P",'-) =$*#d")9 (. . .*-.#)/#8%00*) (•"/.8'++*) =$*#d")9
!*-#2%/4.'%/-; 1%/.#$*-#4%/4*+.-#4%/-.'.)*/.#)/*#-%)-5*-+_4*; -%/.#1*-#*/.'.3-#'/4%0+$_.*-#1'.*-#I /%/5 -".),3*- J#()'#%/.#<*-%'/#1=)/#%)#1*#+$)-'*),-#%<]*.-#A1=)/#%)#1*#+$)-'*),-#",&)0*/.-C#+%),#M.,*#4%05 +$_.*-6 7*#()'#4","4.3,'-*#$*-#4%/4*+.-#.'*/.#")#2"'.#()*#4*#-%/.#1*-#2%/4.'%/-#()'#/%)-#1%//*/.#1*-
?"$*),-#1*#?3,'.3#A4=*-.5O51',*#-%'.#$*#m,"'; -%'.#$*#d")9C#4%00*#3."/.#$*),-#?"$*),-#1*#?3,'.36
7*..*#/%.'%/#1*#I 2%/4.'%/ J#*-.#'0+%,."/.*#-),.%).#*/#0".830".'()*-#0"'-#3&"$*0*/.#1"/-#$"#$%&'()*
1*-#+,31'4".-#A426 +6U`C6 e/*#2%/4.'%/#+*).#M.,*#4%/^)*#1*#1*)9#0"/'_,*- @
N 7%/-'13,3*#1*#0"/'_,*+,-+.%$/..+E(; )/*#2%/4.'%/#1=)/#*/-*0<$*#1*#48%-*-AO#)/#*/-*0<$*#1*
48%-*-BA()'#+*).; 0"'-#/*#1%'.#+"-#M.,*#$*#0M0*#()*AC#*-.#)/#*/-*0<$*#1*#+"',*-#ai, bi$.*$- ()*#$*-#+,*0'*,-#0*0<,*-#A$*-aiC#"++",.'*//*/.#OA; $*-#1*)9'_0*-#A$*-biC#OB; *.#.*$-#()=)/#-*)$
ai/*#-*#.,%)?*#*/#+"',*#()="?*4#)/#-*)$bi6Bg
N 7%/-'13,3*#1*#0"/'_,*$.-+.%$/..+E(; )/*#2%/4.'%/#*-.#)/*#,_&$*#()'#+%),#48"()*#",&)0*/.#135 .*,0'/*#)/*#?"$*),6 >$$*#*-.#"$%,-#)/*#4*,."'/*#+,%431),*#()'#/%)-#+,*/1#()*$()*#48%-*#4%00*
r '/+).s*.#$=).'$'-*#+%),#13.*,0'/*,#$*#r %).+).s6
m)#1*#0"/'_,*#*9.*/-'%//*$$*; )/*#2%/4.'%/#*-.#)/*#4*,."'/*#,*$".'%/#*/.,*#1*-#0*0<,*-#1*A*.#$*- 0*0<,*-#1*B6 X"'-#'$#/=*-.#+"-#$*#4"-#()*#.%).*#,*$".'%/#*-.#)/*#2%/4.'%/6 P%),#M.,*#2%/4.'%//*$$*; )/*
,*$".'%/#1%'.#M.,*#.*$$*#()*#$*#+,*0'*,#,*$".)0'9-+"4$.($*#1*)9'_0*6 Ix"'0*yJ; +",#*9*0+$*; *-.#)/*
,*$".'%/#()'#"#4%00*#*9.*/-'%/#$=*/-*0<$*#1*#+"',*-#a, b$.*$-#()*a"'0*b6 P%),#()*#4*..*#,*$".'%/
-%'.#3&"$*0*/.#)/*#2%/4.'%/; '$#1*?,"'.#M.,*#$*#4"-#()*#.%).#$*#0%/1*#/="'0*#()=)/*#-*)$*#+*,-%//*#N
V6 :%/4; $"#13/%.".'%/#1*a1%'.#M.,*#1'[3,*/.*#1*#$"#13/%.".'%/#1*b6
`6 !*-#13/%.".'%/-#I %,1'/"',*- J#1*a*.b-%/.#$*),-#?"$*),-#1*#?3,'.3#()'#-%/.#'1*/.'()*-6 f6 :%/4;a*.b/*#+*)?*/.#+"-#"?%',#$*),-#?"$*),-#1*#?3,'.3#4%00*#13/%.".'%/-6 g6 !"#-*)$*#").,*#48%-*#()'#1'-.'/&)*a*.b*-.#$*),#-*/-; $"#+*/-3*#()='$-#*9+,'0*/.6 k6 :%/4; $"#13/%.".'%/#1*aAbC#*-.#$"#+*/-3*#*9+,'03*#+",aAbC6
Bf6 W%)-#).'$'-%/-#'4'#I≡J#+%),#*9+,'0*,#)/*#'1*/.'.3#*/.,*#1*-#2%/4.'%/- @ 1*)9#2%/4.'%/-#-%/.#'1*/.'()*-#--'6 *$$*-#4%,,*-5 +%/1*/.#")#0M0*#*/-*0<$*; 4=*-.5O51',*#-'#*$$*-#"--%4'*/.#")9#0M0*-#",&)0*/.-#$*-#0M0*-#?"$*),-6
Bg6 7=*-.#O#1',*#()*#$*ai'9-+"4$.($*bi1"/-#$*#-*/-#-)'?"/. @ ()='$#/=",,'?*#]"0"'-#()*#/%)-#"?%/-"ai, bj#*."ai, bk#"?*4#1*)9 bj*.bk1'[3,*/.-6
6>C *5 +#),-.%/0()1(2)$'31%4#&2 ()*#$="'03#-%'.#13.*,0'/3#+",#$="0"/.6 7*#/=*-.#()*#1"/-#4*#4"-#()*#I $"#+*,-%//*#"'03*#+",xJ#13/%.*;
+%),#.%).*#?"$*),#1*x; )/*#+*,-%//*#)/'()*6
e/*#2%/4.'%/ f : A → B *-.#"$%,-#)/*#,*$".'%/#A)/#*/-*0<$*#1*#+"',*-#1%/.#$*#+,*0'*,#0*0<,*
"++",.'*/.#OA*.#$*#1*)9'_0*#OB A{#a, b$ |a∈A∧b∈B}C; ()'#*-.#.*$$*#()*#$*#48%'9#1*a13.*,0'/*
4*$)'#1*b@ '$#/=*-.#+"-#$*#4"-#()=%/#"#a, b!$*.#a, b!!$+%),#1*)9b!, b!!∈B1'[3,*/.- @ (f(a)!b! ∧ f(a)!b!!) → b!!b!!
D%).*#2%/4.'%/#*-.#)/*#,*$".'%/#*.#1%/4#)/#-%)-5*/-*0<$*#1)#+,%1)'.#4",.3-'*/#1*#-%/#1%0"'/*#*.#1*
-%/#4%1%0"'/*6 e/*#,*$".'%/#<'/"',*#()'#,*$'*#1*-#3$30*/.-#1=)/#*/-*0<$*A*.#1=)/#*/-*0<$*B*-.
)/#-%)-5*/-*0<$*#1*A×B; 4=*-.5O51',*#)/#*/-*0<$*#1*#+"',*-{#a1, b1$,#a2, b2$, . . .}.*$$*-#()*#.%)-
$*-ai-%/.#1*-#0*0<,*-#1*A*.#.%)-#$*-bi-%/.#1*-#0*0<,*-#1*B6 e/*#.*$$*#,*$".'%/#*-.#)/*F/.G-$/0 -'#*.#-*)$*0*/.#-'#$*#0*0<,*#1*A13.*,0'/*#)/'()*0*/.#$*#0*0<,*#1*B 1*#-%/#+"',*; 4=*-.5O51',*
--'6a1=a2→b1=b2*.#"'/-'#1*#-)'.*#+%),#$*-#").,*-#+"',*-6 7%00*#$*#0*0<,*#1*B*-.#13.3,0'/3 -"/-#)/'?%()*#+",#-%/#4%,,*-+%/1"/.#1"/-A; %/#34,'.#If(ai)J#+%),bi6 e/*#2%/4.'%/f :A→B"?*4 1%0"'/*A*.#4%1%0"'/*B*-.#)/*#,*$".'%/; 4=*-.5O51',*#)/#-%)-5*/-*0<$*#1*A×B()'#-".'-2"'.#4*..*
4%/1'.'%/#-)++$30*/."',*6
W%)-#/="?%/-#+"-#-*)$*0*/.#1*-#2%/4.'%/-#O#)/#",&)0*/.; 0"'-#1*-#2%/4.'%/-#1*#.%).*#"1'4'.3#()*$5 4%/()* @ I $="'03#4%00)/#1*x*.yJ; +",#*9*0+$*; 13.*,0'/*#)/*#+*,-%//*#*/#2%/4.'%/#1*-#+,323,*/4*- -*/.'0*/."$*-#1*'+>,+*,-%//*-6 :"/-#4*#4"-54'; $*#2%/4.'%/#-*,"#)/#-%)-5*/-*0<$*#1)#+,%1)'.#4",.35 -'*/#1*-"/$%*/-*0<$*-6
d,*&*#/="?"'.#+"-#*/4%,*#O#-"#1'-+%-'.'%/#4*..*#4%/4*+.'%/#r */-*0<$'-.*#s 1*#$"#/%.'%/#1*#I 2%/4.'%/ J;
0"'-#$"#4%/-'13,"'.#4%00*#)/*#&3/3,"$'-".'%/#1)#4%/4*+.#I 4%/4*+. J#AC+3"$HC6 P%),#d,*&*; )/#4%/4*+.
/=*-.#1%/4#+"-#)/*#*/.'.3#$'/&)'-.'()*; 0"'-#()*$()*#48%-*#()'#"++",.'*/.#")#0%/1*6 >$$*#/="++",.'*/.
+"-#")#0%/1*#+8L-'()*; <'*/#*/.*/1); 0"'-#O#)/#.,%'-'_0*#0%/1*; $= J*/1,%'. J#%S#-*#.,%)?*/.#$*-#%<]*.-
"<-.,"'.-6 !="++$'4".'%/#1=)/#4%/4*+.#O#()*$()*#48%-*#()'#$*#-".),*#A)/#%<]*.C#*-.#1%/4#)/#+,%4*--)-
%/.%$%&'()*; ()'#/%)-#1%//*#)/*#*/.'.3; )/#%<]*.; ()'#*-.#-%'.#$*#m,"'; -%'.#$*#d")96
e/#4%/4*+.#/*#1%'.#+"-#M.,*#4%/2%/1)#"?*4#-%/#*9.*/-'%/; ()'#*-.#"++*$3#-%/#I +",4%),-#1*#-*-#?"$*),- J AI+"-D+")#>FC6 !*#+",4%),-#1*-#?"$*),-#1)#4%/4*+. ‚ƒ„„… ()'#*-.#13/%.3#+",#$*#+,31'4".#I R*-.#)/
8%00* J#+*).#M.,*#134,'.#4%00*#-)'.#A%S#I)J#13/%.*#$*#m,"'; *.#I⊥J#13/%.*#$*#d")9C @ AFGC #Q%4,".*,)$,#$"#?'$$*#1*#P",'-,⊥$,#•"/.8'++*;⊥$,#P$".%/,)$,#$*#/)03,%#E,⊥$,#
$"#4%)$*),#?*,.,⊥$,#X"11%9,)$,#$=8%00*#$*#+$)-#,'48*#")#0%/1*,)$, . . . :*#0"/'_,*#3()'?"$*/.*; %/#+*).#34,',* @
AFGHC {Q%4,".*; P$".%/; X"11%9; $=8%00*#$*#+$)-#,'48*#")#0%/1*; R}
AFGHC *-.#4*#()=%/#"?"'.; "?"/.#d,*&*; .,"1'.'%//*$$*0*/.#4%/-'13,3#4%00*#$=+,-+.%$/0 1)#4%/4*+.
‚ƒ„„…6 F +",.',#1*7",/"+ ABkUfC; $=*9.*/-'%/#3."'.#/%,0"$*0*/.#4%/-'13,3*#4%00*#$"#13/%.".'%/
1=)/#+,31'4".6 I R*-.#)/#8%00* J#3."'.#1%/4#4%/^)#4%00*#$*#+,31'4".#()'#"#$=*/-*0<$*#-+34'b3#+", AFGHC 4%00*#13/%.".'%/6
7*#/=3."'.#+"-#$="?'-#1*#d,*&*6P%),#d,*&*; 4%/4*?%',#$"#13/%.".'%/#1=)/#+,31'4".#4%00*#)/#4%/4*+.#3."'.
$"#-*)$*#0"/'_,*#1*#,*/1,*#4%0+.*#1*#$=)/'.3#1*#$"#+,%+%-'.'%/; 4=*-.5O51',*#1)#2"'.#()*#$"#-'&/'b4".'%/
1=)/#3/%/43#*-.#)/#.%).#'/.3&,"$#()'#,3-)$.*#1*#$"#4%0+%-'.'%/#1*#-*-#4%/-.'.)"/.-6 d,*&*#-=*-.#1*0"/13 4%00*/.#()*$()*#48%-*#1*#-".),3#4%00*#$=*-.#)/#+",4%),-#1*#?"$*),-#+%),,"'.#-*#,*$'*,#O#()*$()*#48%-*
1=").,*#1*#4%0+$*.#A)/#%<]*.C Y 7%00*/.#$*-#1*)9#+%),,"'*/.#.*/',#*/-*0<$* Y d,*&*#/="#?)#")4)/*
+%--'<'$'.3#*.#*/#"#1%/4#4%/4$)#()='$#2"$$"'.#()*$()*#48%-*#1*#/%/5-".),3#A/%/#-*)$*0*/.#")#/'?*")#1*-
*5< ='(.()(&),#)$"%,-2-$"%()10),#8.#.( 6>D
*9+,*--'%/-#0"'-C#3&"$*0*/.#")#/'?*")#%/.%$%&'()*; $*#/'?*")#1*#$"#13/%.".'%/6
!*#-*/-#1=)/#+,31'4".#*-.#)/*#0"/'_,*#1*#4%/4*?%',#$"#2%/4.'%/#()'#*-.#$*#4%/4*+.#13/%.3#+",#4*#+,31'4".6 P,*/%/-#4%00*#*9*0+$*- @
2·x·x+ 2 2(x2+ 1)
Q*$%/#d,*&*; 4*-#1*)9#*9+,*--'%/-#13/%.*/.#$*#0M0*#4%/4*+.; 0"'-#*$$*-#%/.#1*-#-*/-#1'[3,*/.-6 >$$*- /%)-#1%//*/.#$*#0M0*#4%/4*+.#A$"#0M0*#2%/4.'%/C#0"'-#1*#1*)9#0"/'_,*-#1'[3,*/.*-6
P%),#$"#$%&'()*#.,"1'.'%//*$$*; $*-#*9+,*--'%/-#/="L"/.#+"-#$"#-.,)4.),*#/%0N+,31'4".#4%00*#I .%).
8%00*#*-.#0%,.*$ J#+%-"'*/.#+,%<$_0*6 d,*&*#$*-#"#,3-%$)*-#1=)/#4%)+#1*#&3/'*; */#1%//"/.#)/*#2%,0*
4%/1'.'%//*$$*#O#4*-#3/%/43- @
I D%).#8%00*#*-.#0%,.*$6 J ! I Q'#)/*#48%-*#*-.#)/#8%00*; "$%,-#4*..*#48%-*#*-.#0%,.*$$*6 J :"/-#$="/"$L-*#1*#d,*&*; $*#-)]*.#&,"00".'4"$#AI .%).#8%00* JC#/*#4%}/4'1*#+$)-#"?*4#$*#-)]*.#$%&'()*
A.%).*-#$*-#48%-*-C6 !"#+8,"-*; 4%/.,"',*0*/.#")9#"++",*/4*-; /*#+,31'()*#()*#4%/1'.'%//*$$*0*/.#1*
.%).*#48%-*Bk()*#-'#*$$*#*-.#)/#8%00*; "$%,-#*$$*#*-.#0%,.*$$*6 !"#2%,0*#$%&'()*#/*#4%}/4'1*#1%/4#+"-
"?*4#$"#2%,0*#-)+*,b4'*$$*#1*#$=3/%/43#*/#()*-.'%/6 !"#2%,0*#$%&'()*#1=)/#3/%/43#*98'<*#-*-#4%/1'.'%/- 1*#?3,'.3 @ *$$*#/*#4%/4*,/*#()*#4*#()'; +%),#d,*&*; *-.#4,)4'"$#O#$='/.*,+,3.".'%/#1*#/='0+%,.*#()*$
3/%/43; 4=*-.5O51',*#$"#0"/'_,*#1%/.#4*.#3/%/43#13/%.*#-"#13/%.".'%/#A)/*#?"$*),#1*#?3,'.3C; 4=*-.5O5 1',*#")#-*/-#1*#$=3/%/43#A$"#+*/-3*#()='$#*9+,'0*C6
P$)-'*),-#()*-.'%/-#-*#+%-*/. @
N 7%00*/.#+*).5%/#M.,*#-{,#1=",,'?*,#O#)/#/'?*")#%S#$*#$"/&"&*#/*#/%)-#.,%0+*#+"-#0"'-#%S#'$#/%)- -*,.#4%00*#'/1'4*#1*#-"#?,"'*#2%,0*#$%&'()* Y
N 7%00*/.#-"?%',#-'#.*$$*#%)#.*$$*#2%,0)$*#*-.#$"#?,"'*#2%,0*#$%&'()*#1=)/#3/%/43 Y 7%00*/.
,*4%//"t.,*#4*..*#?,"'*#2%,0*#$%&'()* Y
d,*&*#3."'.#4%/?"'/4)#()=)/#$"/&"&*#'13"$; %S#'$#/=L#"#+"-#1*#1'[3,*/4*#*/.,*#2%,0*#&,"00".'4"$*#*.
2%,0*#$%&'()*; 3."'.#+%--'<$*; *.#'$#4,%L"'.#()*#-%/#'13%&,"+8'*#3."'.#)/*#<%//*#"++,%9'0".'%/#1=)/*
.*$$*#$"/&)*6
!"#-30"/.'()*#4%/.*0+%,"'/*#*-.#)/*#-30"/.'()*#,323,*/.'"$'-.*#A()'#-=%44)+*#+,'/4'+"$*0*/.#1="--'&/*, 1*-#,323,*/.-#O#1*-#*9+,*--'%/-C6 :"/-#-"#?*,-'%/#$"#+$)-#/"}?*; )/*#.*$$*#-30"/.'()*#-*#$'0'.*#O#4*..*
.†48*#+,'/4'+"$*6 d,*&*#4,'.'()"'.#4*..*#.83%,'*#*/#"]%)."/.#)/#").,*#/'?*"); 4*$)'#1)#-*/-6 Q*-#",&)0*/.- +,'/4'+")9#3."'*/.#$*-#-)'?"/.- @
B6 !*#+,%<$_0*#1*-#3/%/43-#1='1*/.'.3#?,"'-#4%00*#I Q)+*,0"/!7$",c#|*/. J#AI Q)+*,0"/#4=*-.
7$",c#|*/. JC6 e/*#-30"/.'()*#/"}?*#/="#()*#1*)9#48%'9#+%),#"/"$L-*,#)/#.*$#3/%/43#?,"' @ -%'.#%/
+",$*#1=)/*#-*)$*#*.#0M0*#48%-*#Q)+*,0"/#‡#7$",c#|*/.#A*.#1'.#1=*$$*#()=*$$*#*-.#'1*/.'()*#O#*$$*5 0M0*C; -%'.#%/#+",$*#1*-#*9+,*--'%/-#A*.#1'.#()*#$*-#1*)9#*9+,*--'%/-#13/%.*/.#$"#0M0*#48%-*C6 X"'-; '/.)'.'?*0*/.; )/*#'/2%,0".'%/#-+34'b()*#*-.#*9+,'03*#+",#4*.#3/%/43#A4*#()'#*94$).#$"
+,*0'_,*#%+.'%/C#()'#/=*-.#+"-#-*)$*0*/.#)/*#'/2%,0".'%/#-),#/%.,*#$"/&"&*#A4*#()'#*94$).#$"
1*)9'_0*#%+.'%/C6
E6 !*#+,%<$_0*#1*-#3/%/43-#b4.'%//*$-#*.#1*-#/%0-#+,%+,*-#?'1*- @ I Q)+*,0"/#4=*-.#7$",c#|*/. J /%)-#1%//*#)/*#'/2%,0".'%/#0M0*#-'#/%)-#-"?%/-#.,_-#<'*/#()*#4*..*#+*,-%//*#/=*9'-.*#+"-6
!="<-*/4*#1*#,323,*/.#/=*0+M48*#+"-#()='$#L#"'.#()*$()*#48%-*#()*#$=%/#-"'-'.#$%,-()=%/#4%0+,*/1
Bk6 !*-#()"/.'b4".*),-; 4=*-.5O51',*∀xAI +%),#/='0+%,.*#()*$xJC#*.∃yAI '$#L#"#")#0%'/-#)/y.*$#()* JC; -%/.#*)950M0*- 1*-#4%/4*+.-; /%."00*/.#1*-#4%/4*+.-#1*#1*)9'_0*#%,1,*; 4=*-.5O51',*#1*-#4%/4*+.-#()'#-="++$'()*/.#O#*.#-%/.#-".),3-#+",#1*- 4%/4*+.-#A426 /6AAO#$"#+6AAC6
6>; *5 +#),-.%/0()1(2)$'31%4#&2 )/*#+8,"-*#()'#4%/.'*/.#)/#.*$#/%0#+,%+,*#?'1*6 !"#0M0*#48%-*#?").#+%),#1*-#/%0-#b4.'%//*$- 4%00*#I e$L--* J6
H6 !*#+,%<$_0*#1*#$="..,'<).'%/#1*-#4,%L"/4*- @ Z/#/*#?*).#+"-#"..,'<)*,#O#1*-#+*,-%//*-#0"/'2*-.*5 0*/.#,".'%//*$$*-#1*-#4,%L"/4*-#',,".'%//*$$*-6 !%'-#!"/*#"10',*#Q)+*,0"/; 0"'-#*$$*#/="'0*#+"- .,%+#7$",c#|*/.6 >$$*#"#1%/4#.%).*-#-%,.*-#1="..'.)1*-#()'#-*,"'*/.; -*$%/#$"#-30"/.'()*#/"}?*; 1*-
"..'.)1*-#4%/.,"1'4.%',*-; */#+",.'4)$'*,#1*-#4,%L"/4*- @ *$$*#4,%'.#()*#Q)+*,0"/#+*).#?%$*,; *.
()*#7$",c#|*/.#/*#$*#+*).#+"-6 !"#.83%,'*#1)#-*/-; */#"--%4'"/.#1'[3,*/.-#4%/.*/)-#4%/4*+.)*$-
"?*4#$*-#1*)9#0%.-; /%)-#+*,0*.#1*#1',*#()*#!%'-#!"/*#"#1*-#4,%L"/4*-#O#+,%+%-#1*#$"#0M0*
48%-*#A7$",c#|*/.; 4=*-.5O51',*#Q)+*,0"/C; 0"'-#-%)-#1*)9#0%1*-#1'[3,*/.-6
U6 !*#+,%<$_0*#1*-#3/%/43-#*9'-.*/.'*$- @ Q'#$*#,323,*/.#3."'.#$*#-*)$#4%/.*/)#1=)/#/%0#+,%+,*;
$*-#3/%/43-#1=*9'-.*/4*#4%00*#I Q)+*,0"/#*9'-.* J#%)#I Q)+*,0"/#/=*9'-.*#+"- J#/="),"'*/.#)/
4%/.*/)#()*#-'#Q)+*,0"/#*9'-."'.6 \$#-*0<$*; 4*+*/1"/.; ()*#4*-#3/%/43-#"'*/.#)/#4%/.*/)#()' 13+"--*#$*#/'?*")#1)#,323,*/.#-*)$6
W%)-#,*?'*/1,%/-#-),#$"#4,'.'()*#1*#4*..*#.83%,'*#1"/-#$*#486BE6U6 F?"/.#1*#/%)-#+*/48*,#-),#$*-#%<5 ]*4.'%/-#+8'$%-%+8'()*-; 4*+*/1"/.; /%)-#*9"0'/*,%/-#$=).'$'.3#1*#4*..*#.83%,'*#+%),#$"#-30"/.'()*
2%,0*$$*#1*#$"#$%&'()*#1*-#+,31'4".-6
*5B I&'():'#%)(&)J&'():'#%)1(
P%),#1',*#()=)/*#+8,"-*#%)?*,.*#*-.#-".'-2"'.*#+",#A%)#?,"'*#1=C#)/#4*,."'/#'/1'?'1); /%)-#2%,0%/-#4*#()*
/%)-#"++*$$*,%/-#)/*1 :;"#%+ & %$.3>)$J"( 56 e/*#+8,"-*#-'/&)$'_,*#*-.#)/*#+8,"-*#()'#4%/.'*/.#)/#/%0 1=")#0%'/-#)/#'/1'?'1)#+",.'4)$'*,#*.#+,31'()*#)/#+,31'4".#1*#4*.#'/1'?'1)#A%)#)/*#,*$".'%/#1*#+$)-'*),- '/1'?'1)-C6ElP%),#1',*#()*#Q"0#*-.#.,'-.*; +",#*9*0+$*; /%)-#1'-%/-#()*#Q"0#-".'-2"'.#$"#+8,"-*#%)?*,.*
I R *-.#.,'-.* J#%)#()*#4*..*#+8,"-*#%)?*,.*#*-.#?,"'*#1*#Q"06 P%),#13-'&/*,#Q"0#/%)-#).'$'-%/-#1"/-#$"
$%&'()*#1*-#+,31'4".-#4*#()=%/#"++*$$*#)/*1 G/.%-#.-+ & $.'$D$'>+E( 5; +",#*9*0+$*#IaJ6 P%),#1',*#()*a -".'-2"'.#$"#+8,"-*#%)?*,.*#IF xJ; /%)-#"++$'()%/-#$"#2%/4.'%/#,*+,3-*/.3*#+",#IF xJ#O#)/#",&)0*/.;
,*+,3-*/.3#+",#)/*#4%/-."/.*#'/1'?'1)*$$* @
AfC F a
AfC *-.#$"#2%,0*#&3/3,"$*#1=)/*#+8,"-*#-'0+$*#1"/-#$"#$%&'()*#1*-#+,31'4".-#*.#4%/-'-.*#1*#.,%'-#3$35 0*/.- @ )/#4%/-."/.*#'/1'?'1)*$$*#A)/#.*,0*#-'/&)$'*,; IaJC; )/#+,31'4".#A)/*#+8,"-*#%)?*,.*; IF xJC; *.
$="++$'4".'%/#1*#$"#2%/4.'%/#13/%.3*#+",#IF xJ#O#$=",&)0*/.aA,*+,3-*/.3*#+",#$"#])9."+%-'.'%/#1*#IFJ
*.#IaJC6
Q*$%/#-%/#'/.*,+,3.".'%/#2,*&3*//*; $"#+8,"-*#-'/&)$'_,* AfC 13-'&/*#$"#?"$*),#1*#$"#2%/4.'%/F x+%),
$=",&)0*/.aN#4%00*#$*-#+,31'4".-#-%/.#1*-#2%/4.'%/-#1='/1'?'1)-#O#1*-#?"$*),-#1*#?3,'.3; 4*..*#?"$*),
*-.:; $*#m,"'; -'#Q"0#*-.#.,'-.*; *.#*$$*#*-.9; $*#d")9; -='$#/=*-.#+"-#$*#4"-#()*#Q"0#*-.#.,'-.*6
\$#L#"#4*+*/1"/.#1=").,*-#+8,"-*-#()*#$*-#+8,"-*-#-'/&)$'_,*-6 G)"/1#]*#1'-#()*#.%)-#$*-#+'/&%)'/-#-%/.
8*),*)9; +",#*9*0+$*; %)#()='$#L#"#)/#+8'$%-%+8*#',$"/1"'-; ]*#/*#+",$*#1=")4)/#+'/&%)'/#*.#1=")4)/
+8'$%-%+8*#*/#+",.'4)$'*,6 \$#/=L#"#+"-#1='/1'?'1)#-+34'b()*#1%/.#]*#+,31'()*#M.,*#)/#+'/&%)'/#8*),*)9
%)#)/#+8'$%-%+8*#',$"/1"'-6 W%)-#"++*$$*,%/-#1*#.*$$*-#+8,"-*-#()'#/*#-%/.#+"-#-'/&)$'_,*-#1*-1 :;"#%+%
39.9"#)+% 56
El6 W%)-#"++*$%/-#I '/1'?'1) J#/='0+%,.*#()*$$*#48%-*#13/%.3*#+",#)/*#4%/-."/.*#'/1'?'1)*$$*6 XM0*#-'#/%,0"$*0*/.#/%- '/1'?'1)-#-%/.#1*-#I -)<-."/4*-#+,*0'_,*- J#1"/-#$*#-*/-#F,'-.%.3$'4'*/#1)#.*,0*#AQ"0; -"#0"'-%/; -*-#1*/.-#*.#$*#<%).#1*#?'"/1*
()'#-*#.,%)?*#*/.,*#*)9C; ,'*/#/*#/%)-#*0+M48*#1*#.,"'.*,#4%00*#'/1'?'1)-#1*-#3?_/*0*/.-#A-%/#0",'"&*C; 1*-#.,%+*-#A$"#<$"/48*), /%/5,3+3."<$*#1*#-%/#?'-"?*C; 1*-#*-+_4*-#A8%0%#-"+'*/-#-"+'*/-C#%)#-)<-."/4*-#-*4%/1*-#A$=8)0"/'.3C6
*5B I&'():'#%)(&)J&'():'#%)1( 6>>
7=*-.#+%),#$*#.,"'.*0*/.#1*-#+8,"-*-#&3/3,"$*-#()*#/%)-#).'$'-%/-#1*-#()"/.'b4".*),-#*.#1*-#?",'"<$*-6 P%),#1',*#()*#$*#+,31'4".#Ix*-.#)/#+8'$%-%+8*#',$"/1"'- J#*-.#?,"'#1=")#0%'/-#)/*#48%-*; ]*#()"/.'b*
*9'-.*/.'*$$*0*/.#-),#$=%44),,*/4*#1*#$"#?",'"<$*#IxJ#1"/-#4*..*#+8,"-*#%)?*,.*; %<.*/"/.#I∃x(x*-.
)/#+8'$%-%+8*#',$"/1"'-)J6 P%),#1',*#()*#$*#+,31'4".#Ix*-.#8*),*)9 J#*-.#?,"'#1*#.%)-#$*-#+'/&%)'/-;
]*#4%%,1%//*#$=%44),,*/4*#1*#IxJ#1"/-#Ix*-.#8*),*)9 J#"?*4#$=%44),,*/4*#1*#IxJ#1"/-#Ix *-.#)/
+'/&%)'/ J#*/#()"/.'b"/.#$*-'+>,%44),,*/4*-#+",#$*4K4(()"/.'b4".*), @ I∀x(x*-.#)/#+'/&%)'/→x
*-.#8*),*)9)J6
7=*-.#1"/-#$*#2"'.#()=*$$*#,*/1*#+%--'<$*#)/*#.*$$*#4%%,1'/".'%/#()*#,3-'1*#$=).'$'.3#1*#$"#()"/.'b4".'%/6 :"/-#$*#$"/&"&*#/".),*$$*; /%)-#%<.*/%/-#$*#0M0*#*[*.#"?*4#$*-#+,%/%0-6 >9"0'/%/-#$=*9*0+$*#-)'5
?"/. @
A@6DC Q"0#"1%,*#X",'"6 X"$8*),*)-*0*/.; '$#/=*-.#?*/)#()=)/*#2%'-#()=*$$*#3."'.#13]O#+",.'*6
i,†4*#O#$="44%,1#1)#&*/,*; /%)-#4%0+,*/%/-#()*#4=*-.#Q"0#()'#*-.#?*/)#()"/1#X",'"#3."'.#13]O#+",.'*6 X"'-#4*4'#/=*-.#+"-#+%--'<$*#1"/-#$=*9*0+$*#-)'?"/. @
A@6;C X",'"#?%)$"'.#?%',#-"#-%*),6 X"$8*),*)-*0*/.; *$$*#/=*-.#?*/)*#()=)/*#2%'-#()=*$$*#3."'.
13]O#+",.'*6
P", A@6;C; /%)-#/*#-"?%/-#+"-#-'#X",'"#%)#-"#-%*),#*-.#+",.'*6 P%),#13-"0<'&)*,#1*#.*$$*-#+8,"-*-; /%)- -%00*-#-%)?*/.#2%,43-#O#).'$'-*,#1*-#$%4).'%/-#+*)#3$3&"/.*- @
A@6>C X",'"#?%)$"'.#?%',#-"#-%*),6 X"$8*),*-*0*/.; *$$*#/=*-.#?*/)*#()=)/*#2%'-#()*#4*..*#1*,5 /'_,*#3."'.#13]O#+",.'*6
!*-#?",'"<$*-#/%)-#+*,0*..*/.#)/*#13-"0<'&)".'%/#+$)-#3$3&"/.* @
A@6?C X",'"#AxC#?%)$"'.#?%',#-"#-%*),#AyC6 X"$8*),*)-*0*/.;x/=*-.#?*/)*#()=)/*#2%'-#()*y 3."'.#13]O#+",.'*6
!*-#?",'"<$*-#/%)-#1%//*/.#"'/-'#)/#0%L*/#*z4"4*#1*#,*/1,*#4%0+.*#1*-#$'*/-#"/"+8%,'()*-#*/.,*
.*,0*-#-'/&)$'*,- @ *$$*-#/%)-#1'-*/.#()*$-#.*,0*-#r 83,'.*/.s $*),-#,323,*/.-#1*#()*$-#").,*-6
!*-#?",'"<$*-#/%)-#+*,0*..*/.#3&"$*0*/.#1*#4%/-.,)',*#1*-#+,31'4".-#4%0+$*9*-6
e.'$'-"/.#$*-#0M0*-#-'&/*-#()*#+%),#$*-#4%//*4.*),-#+,%+%-'.'%//*$$*-; /%)-#+%)?%/-#2%,0*,#1*-#+,35 1'4".-#4%0+$*9*-#O#+",.',#1*-#+,31'4".-#-'0+$*-; ,*0+$"^"/.#$*-#4%/1'.'%/-#1*#?3,'.3#A+%),#1*-#+8,"-*-C +",#1*-#4%/1'.'%/-#1*#-".'-2"4.'%/#A+%),#1*-#+,31'4".-C @EB
!¬ @ e/#%<]*.a-".'-2"'.#I¬F xJ#-'#*.#-*)$*0*/.#-'a/*#-".'-2"'.#+"-#IF xJ6
!∧ @ e/#%<]*.a-".'-2"'.#IF x∧GxJ#-'#*.#-*)$*0*/.#-'a-".'-2"'.#IF xJ#*.a-".'-2"'.#IGxJ6
!∨ @ e/#%<]*.a-".'-2"'.#IF x∨GxJ#-'#*.#-*)$*0*/.#-'#-%'.a-".'-2"'.#IF xJ; -%'.a-".'-2"'.#IGxJ6
!→ @ e/#%<]*.a-".'-2"'.#IF x→GxJ#-'#*.#-*)$*0*/.#-'#-%'.a/*#-".'-2"'.#+"-#IF xJ; -%'.a-".'-2"'.
IGxJ6
!↔ @ e/#%<]*. a-".'-2"'.#IF x ↔ GxJ#-'#*.#-*)$*0*/.#-'#-%'.a-".'-2"'.#IF xJ#*.#IGxJ; -%'.#/*
-".'-2"'.#/'#IF xJ#/'#IGxJ6
F)#/'?*")#1*#$*),-#*9.*/-'%/-; 4*-#4%/1'.'%/-#1*#-".'-2"4.'%/#4%,,*-+%/1*/.#O#1*-#%+3,".'%/-#*/.,*#1*-
*/-*0<$*- @ $"#/3&".'%/#1=)/#+,31'4".#"),"#4%00*#*9.*/-'%/#$*G/4:)94+.@1*#$=*9.*/-'%/#1)#+,31'4".
/'3; $"#4%/]%/4.'%/#$='/.*,-*4.'%/#1*-#*9.*/-'%/-#1*-#1*)9#1'-]%'/.-#*.#$"#1'-]%/4.'%/#$*),#)/'%/6 7%00*#$*-#+8,"-*-#%)?*,.*-#/*#-%/.#/'#?,"'*-#/'#2")--*-; 0"'-#-*)$*0*/.#?,"'*-#%)#2")--*-'(4*,."'/-
%<]*.-; $"#-30"/.'()*#1*-#4%//*4.*),-#()'#$*-#,*$'*/.#/*#+*).#+"-#M.,*#1%//3*#+",#1*-#."<$*-#1*#?3,'.36
EB6 W%)-#2*,%/-#4*4'#"?*4#<*")4%)+#+$)-#1*#,'&)*),#1"/-#$*#486Bl6E; ).'$'-"/.#$"#/%.'%/#4$*2#1=#I '/.*,+,3.".'%/ J6
6>? *5 +#),-.%/0()1(2)$'31%4#&2 7=*-.#+%),()%'#/%)-#).'$'-%/-#)/#").,*#4%/4*+.#2%/1"0*/."$#1*#$"#-30"/.'()*; 4*$)'#1*#-".'-2"4.'%/;
+%),#*9+$'()*,#$*),-#-'&/'b4".'%/- @ $"#4%/1'.'%/!∧; +",#*9*0+$*; 1%//*#$"#-'&/'b4".'%/#A4=*-.5O51',*#$*- 4%/1'.'%/-#1*#-".'-2"4.'%/C#1)#+,31'4".#4%0+$*9*#IF x∨GxJ#*/#.*,0*-#1*#$"#-'&/'b4".'%/#A$*-#4%/1'.'%/- 1*#-".'-2"4.'%/-C#1*-#1*)9#+,31'4".-#-'0+$*-#IF xJ#*.#IGxJ @EE $*#+,'/4'+*#1*#4%0+%-'.'%/"$'.3#/*
-="++$'()*#"$%,-#+"-#")9#+8,"-*-#*/.'_,*-; 0"'-#O#1*-#+8,"-*-#%)?*,.*-6
!"#4%/1'.'%/!¬"#)/*#'0+%,."/4*#+",.'4)$'_,*6 7=*-.#*$$*#()'#&","/.'.#()*#/%-#+,31'4".-#-%/.#*/.'_5 ,*0*/.#13b/'-#A4*#()*#/%)-#"?%/-#13]O#%<-*,?3#O#$"#+6BVVC @ ()*#+%),#.%).#%<]*.#1%/.#/%)-#?%)$%/- +",$*,; $*#+,31'4".#*/#()*-.'%/#*-.#%)#<'*/#?,"'#1*#4*.#%<]*.#%)#<'*/#2")9#1*#4*.#%<]*.6 7*4'#/%)-#%<$'&*;
+",#*9*0+$*; 1*#4%0+.*,#4%00*#2")--*-#1*-#+8,"-*-#4%00*#I 73-",#*-.#'0+"', J; *.#4%00*#?,"'*-#1*- +8,"-*-#4%00*#I \$#/=*-.#+"-#$*#4"-#()*#73-",#*-.#'0+"', J#*.#I Q%'.#73-",#*-.#'0+"',#-%'.#'$#/*#$=*-.#+"- J6 7%0<'/"/.#$*-#+,31'4".-#+$)-#-'0+$*-#*/#1*-#+,31'4".-#+$)-#4%0+$*9*-; '$#*-.#1=)/*#'0+%,."/4*#4,)4'"$
1*#.*/',#4%0+.*#1*#$='1*/.'.3#%)#1*#$"#1'?*,-'.3#1*-#?",'"<$*-6 \$#*9'-.*#)/*#&,"/1*#1'[3,*/4*#*/.,*#$*
+,31'4".#O#1*)9#+$"4*-#Ix"'0*yJ#*.#$*#+,31'4".#O#)/*#+$"4*#Ix"'0*yJ6 !*#+,*0'*,#*-.#-".'-2"'.#+", 1*-#+"',*-#1=%<]*.-#()'#-%/.#.*$$*-#()*#$*),#+,*0'*,#0*0<,*#"'0*#$*),#1*)9'_0*#0*0<,*6 !*#1*)9'_0*
*-.#-".'-2"'.#+",#1*-#%<]*.-#()'#-="'0*/.#*)950M0*-6 7*..*#1'[3,*/4*#1%'.#M.,*#0"'/.*/)*#0M0*#1"/-
$*#4"-#%S#$"#+"',*#()'#-".'-2"'.#$*#+,*0'*,#+,31'4".#4%/.'*/.#$"#0M0*#48%-*#1*)9#2%'- @ -'#Q"0#"'0*
X",'*; *.#X",'*#-="'0*#$)'50M0*; $*-#1*)9#+"',*-#Q"0; X",'*$*.#X",'*; X",'*$%/.#*/#4%00)/
()=*$$*-#-%/.#$'3*-#+",#)/*#,*$".'%/#1="0%),6 W%)-#+%)?%/-#"$%,-#4%/4$),*#()='$#L#"#1*)9#+*,-%//*-#()'
"'0*/.#X",'"; %)#()*#Q"0#"'0*#)/*#+*,-%//*#()'#-="'0*#*$$*50M0*6 7%00*/.#+%)?%/-#/%)-#*9+$'()*, 4*..*#1'[3,*/4*#*/.,*#Ix"'0*yJ#*.#Ix"'0*xJ#-'#$*-#?",'"<$*-#/=%/.#+"-#1*#+,%+,'3.3-#-30"/.'()*- '/.,'/-_()*-#*.#-='$#/=L#"#+"-; +",#4%/-3()*/.; 1*#1'-.'/4.'%/#*/.,*#$*-#1*)9#+8,"-*-#%)?*,.*-#Ix48"/.* J
*.#Iy48"/.* J Y
W%)-#1*?%/-#2"',*#)/*#1'-.'/4.'%/#*/.,*#4*#()*#/%)-#"++*$*,%/-#$*-#I 0%.5.%c*/- J#*.#$*-#I 0%.5.L+*- J6 I X%. J; */#*[*.; *-.#"0<'&); *.#$*-#1*)9#-*/-#4%,,*-+%/1*/.#")9#1*)9#,3+%/-*-#+%--'<$*#O#$"#()*-.'%/
1*#-"?%',#4%0<'*/#1*#0%.-#-*#.,%)?*/.#1"/-#$*#4",,3#-)'?"/. @ a%<'/-%/
a%<'/-%/
:"/-#)/#+,*0'*,#-*/-#1*#I 0%. J; $"#,3+%/-*#O#$"#()*-.'%/#*-.#I E J; 1"/-#)/#").,*#*$$*#*-.#I B J @ ]="'#34,'.
$*4K4(0%.'+>,2%'-6 \$#-="&'.#1=)/#-*)$ -<:(AI 0%.5.L+* JC; 0"'-#1*#1*)9-/7+0 AI 0%.5.%c*/ JC6EH
!*#4%0+.*),#1*#p0%.-=#1*#0%/#$%&'4'*$#1*#.*9.*#4%0+.*#$*-#0%.5.%c*/-; <'*/#()*#$="//%/4*#-),#0%/
1'4.'%//"',*#()='$#4%/.'*/.#Ellll#p0%.-=#4%0+.*#$*-#0%.5.L+*-6
!"#1'-.'/4.'%/#*/.,*#.L+*-#*.#.%c*/-#*-.#1=)/*#'0+%,."/4*#+",.'4)$'_,*#+%),#$='/.*,+,3.".'%/#1*-#?"5 ,'"<$*-6 e/#()"/.'b4".*),#,*$'*#*.#()"/.'b*#-),#.%).*-#$*-#.%c*/-#1*#$"#?",'"<$*5.L+*#()'#$*#-)'.#()'#-*
.,%)?*/.#1"/-#-"#+%,.3*6 :"/-#I∃x(F x∧Gx∧Hy)J; +",#*9*0+$*; $*-#?",'"<$*5.%c*/-#()'#-)'?*/.#I d J
*.#I i J#-%/.#$'3*-#+",#$*#()"/.'b4".*),#*9'-.*/.'*$; <'*/#()*#$"#?",'"<$*5.%c*/#()'#-)'.#I o J#/*#$=*-.#+"-;
+)'-()=*$$*#"++",.'*/.#O#)/#").,*#.L+*6 7=*-.#*/#4%0+."/.#$*-#?",'"<$*5.L+*-#()*#/%)-#1'-%/-#()*#$*- +8,"-*-#%)?*,.*-#Ix"'0*yJ#*.#Ix.,%)?*y 48*nzJ#/*#4%/.'*//*/.#()*#1*-#%44),,*/4*-#$'<,*-#1*
?",'"<$*-; *.#Ix"'0*yJ#*.#Ix48"/&* J#()=)/*#-*)$*6
EE6 7%00*#1"/-#$*#4"-#1*-#+8,"-*-; /%)-#?%)$%/-#O#-.,'4.*0*/.#+",$*,#1%//*,#$*-#4%/1'.'%/-#1*#-".'-2"4.'%/#+%),.*$4:/"-+ & =>+) +,31'4".#4%/]%/4.'2; ()%'#()*#-%'.#-"#4%0+$*9'.3#$%&'()*6 7=*-.#+%),()%'#/%)-#).'$'-*,%/-#1*-#$*..,*-#&,*4()*-#AIφ(x)J; Iψ(x, y)J
*.46C 1"/-#/%.,*#.,"'.*0*/.#,'&%),*)9#1"/-#$"#+,%48"'/*#$*^%/6
EH6 :*-#"0<'&)}.*-#1*#4*#.L+*#-*#.,%)?*/.#1"/-#<*")4%)+#1*#4%/.*9.*-6 Q'#%/#0*#1*0"/1*; +",#*9*0+$*; 4%0<'*/#1*#+$"/.*- ]="'#1"/-#0%/#]",1'/; 4%0<'*/#1*#-3,'*-#.3$35?'-3*-#]="'#?)#1"/-#0"#?'*#*.#4%0<'*/#1*#$'?,*-#]="'#-),#0"#<'<$'%.8_()*; 0*-#,3+%/-*-
?",'*,%/.#*/#2%/4.'%/#1*#-'#]*#4%0+.*#$*-#.L+*-#%)#$*-#.%c*/-6
*5C +(2)&('K(2)2%8.0,%('2 6>*
*5C +(2)&('K(2)2%8.0,%('2
e/*#$"4)/*#1"/-#)/*#+8,"-*#%)?*,.*#'/1'()*#$"#+$"4*#%S#)/#.*,0*#-'/&)$'*,#2).#3.3#*/$*?3#*.#$*-#()"/.'5 b4".*),-#/%)-#-*,?*/.#O#()"/.'b*,#-),#4*-#$"4)/*-; */#1'-"/.#()*#.%).*-#$*-#48%-*-#-".'-2%/.#%)#")#0%'/- )/*#48%-*#-".'-2"'.#$"#+8,"-*#%)?*,.*#*/#()*-.'%/6 X"'-#()*#-%/.#4*-#.*,0*-#-'/&)$'*,- Y
W%)-#"?%/-#1'.#AO#$"#+6B`C#()=)/#.*,0*#-'/&)$'*,#*-.#)/*#*9+,*--'%/#()'; */#?*,.)#1*#-"#2%,0*#$%&'()*;
/*#13-'&/*#()=")#+$)-#)/#%<]*.; 48%-*#()'#*-.#"++*$3*#-%/#I ,323,*/. J#%); +$)-#&3/3,"$*0*/.; -"#I 13-'5
&/".'%/ J6 Q*$%/#$"#4$"--'b4".'%/#.,"1'.'%//*$$*#1=F,'-.%.*; 4=*-.#4*#1%/.#()*$()*#48%-*#A)/#+,31'4".C#*-.
+,31'()3#%)#1'.#*.#4*#()'#/*#+*).#+"-#M.,*#1'.#1=").,*#48%-*#A1*#$"#0"/'_,*#1=)/#+,31'4".C6 !*#+,%+,*
1=)/#.*,0*#-'/&)$'*,#*-.#-"#,*$".'%/#1*#13-'&/".'%/#%)#1*#,323,*/4*#O#)/#*.#)/#-*)$#%<]*.#+,34'-6 !*-
?",'"<$*-; -%)-#)/*#"--'&/".'%/#1*#?"$*),-; ,*^%'?*/.#")--'#)/*#13-'&/".'%/#*.#+*)?*/.#"'/-'#3&"$*0*/.
M.,*#4%0+.3*-#-%)-#$"#4".3&%,'*#1*-#.*,0*-#-'/&)$'*,-6 ˆ +",.#$*-#?",'"<$*-; /%)-#,*4%//"'--%/-#")#0%'/- .,%'-#").,*-#.L+*-#1*#.*,0*-#-'/&)$'*,- @ $*-#/%0-#+,%+,*-6 $*-#'/1*9'4")9#*.#$*-#1*-4,'+.'%/-#13b/'*-6
!*-#/%0-#+,%+,*-; 4%00*#I X",'" J; I P",'- J#*.#I d,*&* J#13-'&/*/.#")#+$)-#)/#'/1'?'1)6 :"/-#<*")4%)+
1*#4"-; '$-#-%/.#'/.,%1)'.-#+",#)/#"4.*#1*#<"+.M0*#()'#3."<$'.#)/*#,*$".'%/#"?*4#$*),#,323,*/.6 \$-#/*#/%)- -*,?*/.#()=O#+",$*,#1*#$*),#,323,*/.#*.#/*#/%)-#2%),/'--*/.#")4)/*#").,*#'/2%,0".'%/#-),#4*#1*,/'*,6 :"/-#$*#4"-#%S#)/#/%0#+,%+,*#/="#+"-#1*#,323,*/.; $*#/%0#/*#,*0+$'.#+"-#-"#2%/4.'%/ @ '$#*-.#13/)3 1='/.3,M.#*.#"++*$3!$'(6
!*-#1*-4,'+.'%/-#13b/'*-; +",#4%/.,*; 13-'&/*/.#$*),#,323,*/.#+",#$='/.*,031'"',*#1*#$*),#4%/.*/)#1*-5 4,'+.'2 @ 0M0*#-'#/%)-#/*#-"?%/-#+*).5M.,*#+"-#()'#*-.#$"#+*,-%//*#$"#+$)-#,'48*#")#0%/1*; /%)-#-"?%/-
")#0%'/-#()*#$*#,323,*/.#1*#I $"#+*,-%//*#$"#+$)-#,'48*#")#0%/1* J#*-.#$"#+*,-%//*#$"#+$)-#,'48*#") 0%/1*; ()=*$$*#*-.#+$)-#,'48*#()*#0%'; ()=*$$*#*-.#)/*#+*,-%//*#*.46 W%)-#131)',%/-#4*..*#'/2%,0".'%/
1)#4%/.*/)#1*-4,'+.'2#1*#4*..*#1*-4,'+.'%/#13b/'*6
P",0'#$*-#.*,0*-#-'/&)$'*,-; $"#+8'$%-%+8'*#1)#$"/&"&*#1'-.'/&)*#")#0%'/-#.,%'-#-%)-5*-+_4*-#1=*9+,*--'%/- @ )/#/%0#+,%+,*; 4%00*#I Q"0 J#%)#I P",'- J; *-.#)/*#*9+,*--'%/#()'#-*#,32_,*#I 1',*4.*0*/. J#O#)/#%<5 ]*. KEU )/*#*9+,*--'%/#'/1*9'4"$*; 4%00*#I 4*4' J; I ]* J#%)#I 0"'/.*/"/. J; 13-'&/*#-%/#,323,*/.#+",
$='/.*,031'"',*#1=)/#4%/.*9.*#1=3/%/4'".'%/ KEV *.#)/*#1*-4,'+.'%/#13b/'*#4%00*#I $*#,%'#"4.)*$#1*
d,"/4* J#*.#I $=8%00*#1"/-#$*#4%'/ J#13-'&/*#")#0%L*/#1*#-%/#4%/.*/)#1*-4,'+.'2#A$*#+,31'4".#O#$="'1*
1)()*$#'$#*-.#2%,03; I R *-.#$*#,%'#"4.)*$#1*#d,"/4* J; I R *-.#$=8%00*#1"/-#$*#4%'/ JC6 >/#$%&'()*#1*- +,31'4".-; /%)-#/*#2%,0"$'-%/-#+",#1*-#4%/-."/.*-#'/1'?'1)*$$*-#()*#1*-#/%0-#+,%+,*-6
W%)-#+%)?%/-#1'-.'/&)*,#4*-#1'[3,*/.*-#4".3&%,'*-#1*#.*,0*-#-'/&)$'*,-#+",#,"++%,.#O#$"#()*-.'%/#-'#$*),- ,323,*/.-#+*)?*/.#?",'*,#"?*4#$*#4%/.*9.*#1=3/%/4'".'%/#*.#$*#4%/.*9.*#1*#$=3?"$)".'%/6 !*#4%/.*9.*#1*
$=3/%/4'".'%/#*-.#4*$)'#1)#$%4).*), @ '$#13.*,0'/*#+",#*9*0+$*#$*#,323,*/.#1*#I ]* J6 7%00*#/%)-#$="?%/- 13]O#?)#O#$"#+6EB; $*-#$"/&)*-#/".),*$$*-#4%/.'*//*/.#-%)?*/.#1*-#*9+,*--'%/-#1'.*-#I '/1*9'4"$*- J6 !*
4%/.*9.*#1*#$=3?"$)".'%/#*-.#$"#-'.)".'%/#+",#,"++%,.#O#$"()*$$*#$=3/%/4'".'%/#*-.#3?"$)3* @E`I $=8%00*#$*
+$)-#&,"/1#1"/-#$"#-"$$* J#13-'&/*#1'[3,*/.*-#+*,-%//*-#+",#,"++%,.#O#1'[3,*/.*-#-"$$*-6W%)-#1'-.'/&)%/-
"'/-'
B6 /%0-#+,%+,*-#AI Q"0 JC @ $*),-#,323,*/.-#/*#?",'*/.#/'#"?*4#$*#4%/.*9.*#1=3/%/4'".'%/#/'#"?*4#4*$)' 1*#$=3?"$)".'%/ KEf
EU6 7*4'#"#3.3#4%/.*-.3*#+",#<*")4%)+#1*#+8'$%-%+8*-#1*#$"/&"&*; */#+",.'4)$'*,#+",d,*&*ABgkE<C#A.,"1)4.'%/#2,"/^"'-* @d,*&*
ABkfB1CC6 q*#-)'-#'4'#$"#.8_-*#43$_<,*#1*#Q")$|,'+c*ABkfEC#()*#$*-#/%0-#-%/.#1*-#I 13-'&/".*),-#,'&'1*- J#A.,"1)4.'%/#2,"/^"'-* @
|,'+c*ABkgECC6 Z/#,*?'*/1,"#")#486BU6`-),#4*..*#.8_-*#4%/.,%?*,-3*6
EV6 7*4'; ")#0%'/-; 1="+,_-#$="/"$L-*#4$"--'()*#*.#4%00)/30*/.#"44*+.3#()=*/#"#1%//3#:"?'1|"+$"/ABkgkC6 E`6 W%)-#,*?'*/1,%/-#O#4*-#/%.'%/-#*/#,"++%,.#"?*4#$"#-30"/.'()*#1'.*#I <'51'0*/-'%//*$$* J#")#486BU6f6
Ef6 :="+,_-#|,'+c*6 X"'-#()%'#1',*#1*-#I /%0-#+,%+,*-#1*-4,'+.'2- J#4%00*#I a%$$'/&#Q.%/*- J#%)#I $"#?'*,&*#X",'* J Y 7267%,"nn"
AEllEC#+%),#)/*#-%,.*#1*#,3+%/-*6
