Axiomatic Semantics of Programming Languages Robert D

!"#$%&
'(")*+
,.-0/13254.687:9<;0=(1>25-@?
A@;0?BC;02EDGF0H!I:F0J0JKF
LMNO>P@QSRUT*OWVQYXOWZZ[ERUO\XEM]V%R&^%N_T]O\`aVQYXb^VOWc\N_^"O[EOWVMNb[d`0d^dO\e@f@QSNbghR\ijVMKNTkN_O\`QY`KlR\im%TkN_O\`nQY`KlUo@p
rQ qsN\qSptVMOWV&VMKNuT]N_O\`QY`KlvR\iO(Z[ER\l\[EO\TwQx^yVMKNz^%NbVR\iV%[5dKNu^%VOWV%N_T]N_`{V^kOW|jRUdKV&QSVbq}LMKNzQY~KN_O(Qx^yVMOWV&VMKN
^%N_T]O\`aVQYX}~N€`QSVQSRU`R\iO‚exO\`KlUdOWl\N(^MRUdeY~ƒO\eYeSR3g„V%[EdKN(Z[R\ZjNb[VQSN_^}…†O\`~‡RU`eSˆ‰V%[EdKNŠZ[ER\Z!Nb[EVQSN_^5‹V%R|jN
Z[R3f\N_~8OW|!RUdVZ[ER\l\[EO\T]^"R\i:VMKNeYO\`KlUdnOWl\N\qŒKR\[N€P@O\T]ZneSN\p@RU`KN<T]QSlUMaVg+Qx^M]V%RZ[R3f\N<VMOWVO.Z[ER\l\[EO\TŽMO\^
X€Nb[VO\QY`}RUdKV%ZndKV^lUQYf\N_`}X€Nb[VO\QY`vQY`KZndKV^_paR\[VMOWV+OZ[R\l\[5O\TO\eSgO_ˆ@^[Ed`n^V%R*X€RUTkZneSNbVQYRU`…‘V%Nb[ET]QY`nOWV%N_^5‹5q
’ `zR\[E~KNb[V%RkZ[R3f\N<Z[R\ZjNb[VQSN_^OW|jRUdKVZ[R\l\[EO\T*^"O>PKQSRUT]OWVQxX^%N_T]O\`aVQYXb^~KN_O\eY^QY`”“>•5•b–€—€˜†™ršW›K•.OW|jRUdKVVMKN
fWO\eYdKN_^R\iZn[R\l\[EO\TœfWOW[EQYOW|neSN_^_qžeYeSRŸgOW|neSNO\^^%Nb[EVQSRU`^ QY`Xbexd~KNO\exeaVMN^VO\`~OW[E~R\ZjNb[EOWV%R\[E^tR\i!T]OWVMKN_T]OWVQxXb^
O\`~eSR\lUQYXWq‰ŒKR\[]N€PKO\TkZneSN\p¢¡£¤¥QY^O\`ƒO\^^%Nb[EVQSRU`VMOWVVMKNŠfWOW[EQYOW|neSNz¡‡MO\^O¥fWO\eYdKN8eSN_^^VMO\`h¤0p"O\`~
¦vO\~§©~QYV¨QSRUª `k¡jV%«R.¦”VM¬©N_^%­ N^%O\V^O\^%`nNb[~VOW^[E~]VMnV®OWˆaVZjN_N_QS^¢VMKR\Nbi:[ O\^¦ ^%NbMn[O\VQS^<RU`:VMKpaNO>PKf>QSO\RUeYT]dN OWV¨ QYXR\^%[N_T]VMO\Nk`a[EVOWQYXbV^¢QSR8MO\R\^i¢RU¡G`KV%N+R ^Z!¦ N_QYXb^žQxO\l\e[i‘N_R\OW[EV%T¯Nb[R\ViCMO\O\^` ^%Nb­ [EVq QSRU’ ``
XbO\eYeSN_~*O\`v“>•5•b–€—€˜°–±ž²—³šE´\—%“WµR\[ ²—–€¶x²@š>•€˜K·bšW—5µ¸@¹S“g+MnQYXEM]MnO\^VMKNi‘R\[ETŽº_»]¼½¾ºK¿¼+g+MNb[N»O\`~”¿ÀOW[N
^QYT]ZneSNeSR\lUQYXbO\eO\^^%Nb[VQSRU`n^O\^OW|jR3f\NO\`~8½}QY^Oy^%VOWV%N_TkN_`aV"R\i!VMN+Z[R\l\[5O\T]T]QY`KleYO\`lUdOWl\N\qLMKN+T]N_O\`QY`Kl
R\iÁ^dnXEMzO\`zO\^E^%Nb[VQSRU`zQY^VMOWVQSij»œQx^¢V%[EdN+|jNbiÂR\[EN+N€P@N_XbdKVQSRU`zR\i ½vO\`~(½(N€P@N_XbdKV%N_^V%RX€RUTkZneSNbVQSRU`:paVMKN_`G¿
QY^žV%[EdKNkOWi‘V%Nb[yN€P@N_XbdKVQSRU`¥R\i½tq.»O\`~ÿ©OW[N]XbO\eYeYN_~Cpj[N_^%ZjN_X€VQSf\N_eSˆ\pCVMKN²—–Ä5šW›±W™†˜†™ršW›hO\`~v²@š>•€˜ÅÄEšW›!±W™‘˜†™ršW›
R\itVMKNyO\^^%Nb[EVQSRU`Cq
LMNyO>P@QSRUT*OWVQYX^%N_T]O\`aVQYXb^R\iVMKNyeYO\`KlUdnOWl\N.QY^~KN€`N_~u|0ˆ8^%ZjN_XbQSiˆ@QY`KlKp0i‘R\[N_O\XEM(V°ˆ0Z!NR\it^%VOWV%N_TkN_`aVy½
R\iVMKNeYO\`KlUdnOWl\N\pCVMKN&X€RU`n~QSVQSRU`^d`~KNb[žg+MQxXEM(O\^E^%Nb[V%N_~¥Z[R\l\[5O\T]^Qx`{f\RUeSf@QY`Kl(½GXbO\`Æ|jN&O\^^EdTkN_~vV%Rz|jN
V%[EdKN\q"ŒKR\[+N€PKO\TkZneYN\pVMKNy[EdneSN<iÂR\[žO\^^QSlU`T]N_`{V+^VOWV%N_TkN_`{V^…‘V°ˆ0ZnQYXbO\exeSˆK‹"Qx^VMOWVO\exeCO\^^%Nb[VQSRU`n^R\iVMKNyi‘R\[ET
º_»uÇ ¡}È
É®Êr¼Ë¡ÍÌÏÎÐɺ_»k¼*OW[NkV%[5dKN\p:g+MKNb[EN&»*Ç ¡GÈÑɮʢTkN_O\`^VMKNkO\^^Nb[VQSRU`”R\|VO\Qx`KN_~¥|aˆÆ^dK|n^VQSVdKVQY`Kl
VMKNkN€P@Z[N_^^EQSRU`¥É+i‘R\[.O\eYeR@XbXbdK[[N_`X€N_^yR\i¡‰QY`¥VMKN]O\^^%Nb[EVQSRU`¥»]qkXbX€R\[5~QY`Kl8V%R}VMQx^<[EdeSN\pjVMKNki‘RUeYeSR3g+QY`Kl
O\^^%Nb[EVQSRU`^OW[N.V%[EdKN\q
º ¦k§ÓÒ ¼]¡ÔÌÏÎС¯Õ×Öuº ¦*§ÓÒ ¼
º_¡kØÐÙ §ÓÚ ¼¡ÍÌÏÎС¯Õ¯Özº_¡ §ÛÚ ¼
’ `VMKNn[E^%V XbO\^%N\p0VMKNZjRU^%VX€RU`~nQSVQSRU`~KR0N_^`KR\VQY`af\RUeSf\N¡Ápa^%Ry`KRy^dK|^%VQSVdKVQSRU`n^MnO_f\NV%R|jNT]O\~KNV%Ry~Nb[EQSf\N
VMKNyZn[N_X€RU`~QSVQYRU`Cq ’ `ŠVMNy^%N_X€RU`~(XbO\^N\pO]^d|n^%VQSVdKVQYRU`zQx^[N_Ü0dQS[N_~CÝt¡ÆQY`8VMKNyZjRU^%VX€RU`~nQSVQSRU`ŠQY^[NbZeYO\X€N_~
|0ˆz¡]ØÐÙQY`ŠVMKNyZn[N_X€RU`~QSVQYRU`CqÞ"R\VMvR\iVMN_^%NO\^^Nb[VQSRU`^X€R\[[N_^%ZjRU`~ŠgQSVMŠg+MOWV+gNN€P0ZjN_X€V+V%Ru|jNV%[EdKN
OW|jRUdKVO\^^QYlU`TkN_`aV^%VOWV%N_TkN_`aV^bq"L+MKN[EdeSN&º_»uÇ ¡ŠÈ
É®Êr¼ßàÌ®ÎÐáÔº_»*¼.QY^XbO\eYeYN_~8VMKNu“>•5•5™S´\›µ*–€›˜"“_âU™†š\µ&q
LMNzX€RU`~nQSVQSRU`G»uÇ ¡ÃÈ É®ÊQx^XbO\eYeYN_~GVMNÆã–E“>ä\–€•å˜"²!—%–EÄEšW›±\™‘˜†™ršW›ÐiÂR\[kVMNz^%VOWV%N_T]N_`{V]¡Ý É&O\`~‰VMKN
ZjRU^%VX€RU`~QYVQSRU`.»*q ’ `&l\N_`KNb[EO\erp\VMKNg"N_OWc\N_^%V Z[N_X€RU`n~QSVQSRU`&QY^VMKN"RU`KNg+MQYX5MZeYO\X€N_^VMKNiÂNbg"N_^%Vt§ [N_^%V%[EQxX€VQSRU`^
RU`&Z[R\l\[EO\TæfWOW[EQYOW|neYN_^O\`~^%VQxeYeUlUQSf\N_^tVMNfWO\eYQY~QYV°ˆR\inOžlUQSf\N_`&ZjRU^%VX€RU`~QYVQSRU`CqtçRU`^QY~KNb[Ÿp3i‘R\[tN€P@O\TkZeSN\p\VMKN
^%VOWV%N_TkN_`aV"¡(Ý §Ð¦ ØvèyO\`n~]VMKNZjRU^%VX€RU`n~QSVQSRU`k¡ ¬‡¨ qLMQx^ ZjRU^%VX€RU`~QSVQYRU`kQY^V%[EdNg+QSVMkVMN+Z[N_X€RU`n~QSVQSRU`
¦‡^%V%[¬„RU`¨ l\p"Nb[O\`^%V~OWV%O\N_eYTk^%R¥N_`ag+VQSVOWMG|jRUVdKMKVN8Vg"MKNyN_OWfWc\O\N_eY^%dKV]N.ZR\[i N_X€RUV`nM~O\QS`vVQSRU~K` R0N_¦ ^ ØÛ؃è è ¬„¨ qGpé^EQYR\`V%X€N\NpVMKMKR3NgiÂNbR\f\[ENbT][ŸpNb[+VMN€OWPKV XbeY¦Ãd~K¬„N_^¨ VMT]N.OWfWc\O\N_eYdK^]N_O ^
¦ ^VMKRU^Nf>O\eYd¦ N_^bq ¬Ð¨
\
O
`
~
Ù
Â
i
\
R
[
K
p
+
g
M
b
N
[
_
N
\
O
^
V
K
M
y
N
x
e
W
O
%
V
%
V
b
N
[
\
O
Y
e
S
e
3
R
+
g
ê ­ ŒtQY`~nê QY`KlVMK¦ NžgN_OWc\N_^V"Zn[N_X€RU`~QSVQYRU`]O\eYeSR3g+^¢Zn[RaR\i†^i‘R\["VMKNTkRU^Vl\N_`KNb[5O\eXbO\^%N]…‘i‘NbgN_^V[N_^V%[EQYX€VQSRU`^¢RU`
QY`KZdKVf>O\eYdN_^5‹V%R*|jNi‘RUd`~Cq ’ `Šl\N_`KNb[EO\eÅpVMKN.O>PKQSRUT]OWVQYX.~KN€`QSVQYRU`8R\iZn[R\l\[EO\T]T]Qx`KlkeYO\`KlUdOWl\N_^^%NbNbc0^+V%R
Ù
Z[R3f0Qx~KN][EdeYN_^iÂR\[&~KNbV%Nb[ET]Qx`QY`Kl8VMKNugN_OWc\N_^%V&Z[N_X€RU`n~QSVQSRU`”lUQYf\N_`O\`aˆ‚eYO\`KlUdOWl\Nz^%VOWV%N_TkN_`aV*½‡O\`~GO\`{ˆ
ZjRU^%VX€RU`~QYVQSRU`‰¿q
O\`{ˆGR\iVMKNz[EdeSN_^&QY`‰O>P@QYRUT]OWVQYXz^%N_T]O\`aVQYXb^[N_Ü0dQS[N]VMnOWV&VMNuV%[EdVMGR\i+RU`KNzO\^E^%Nb[V%N_~Z[R\l\[5O\Tw|jN
|nO\^%N_~RU`VMNzV%[5dKVM^R\i+R\VMNb[]O\^^%Nb[V%N_~ƒZn[R\l\[EO\T]^bq‰ŒKR\[]N€PKO\TkZneSN\p¢VMKNŠV%[EdKVM‰R\iyº_»*¼¾½ ”½ ºK¿¼
i‘RUeYeSRŸg^QSitO\`~ŠRU`eSˆ8QSiVMKNb[N.QY^+O\`(O\^^%Nb[EVQSRU` ^dXEM(VMOWVº_»k¼ ½ Ôº (¼O\`~”º (¼ ½ ºK¿ž¼&OW[N.|jR\VM
V%[EdKN\q Ã[EdeYNR\i!VMnQY^ V°ˆ0ZjN+QY^¢c0`KR3g+`]O\^O]—å¸0¹Y–š³·™Â›Ÿ·b–b—%–b›Ä5–žO\`~*QY^d^dnO\eYeSˆ.N€P@Z[N_^E^%N_~*d^EQY`Kl<VMKNi‘RUeYeSR3g+QY`Kl
`KR\VOWVQSRU`:q
º_»]¼z½Æºv¼€º(¼8½ºK¿¼
º_»k¼8½ ”½ GºK¿<¼
’ inN_O\XEM*R\inVMKNX€RU`n~QSVQSRU`^teYQx^%V%N_~OW|!R3f\NVMKNeYQY`N"MKRUex~^bpUQSV QY^VMKN_`fWO\eYQY~&V%R.QY`iÂNb[VMKNV%[EdKVMR\i!VMKNO\^^%Nb[EVQSRU`
|jN_eSRŸgÃVMKNeYQY`N\qLMnQY^ZnOW[EVQYXbdeYOW[[EdeSNžQY^dn^dO\eYeSˆkXbO\eYeYN_~*VMKN]Ä5šWµ²@š>•5™†˜†™ršW›¥—5¸@¹Y–O\`~z~KN_^X€[EQY|!N_^"MKR3gÃZn[RaR\i†^
OW|jRUdKV]^%N_Ü0dKN_`X€N_^uR\iž^VOWV%N_TkN_`{V^8XbO\`‡|!N}~Nb[EQSf\N_~ƒi‘[RUTÔZ[ERaR\i†^]OW|jRUdKV*QY`n~QSf@QY~dO\e^%VOWV%N_TkN_`aV^ƅ†QY`hVMQY^
i‘R\[ETdneYOWVQSRU`CpKO]^%N_Ü0dKN_`X€N.R\i^%VOWV%N_T]N_`{V^<QY^V%[N_OWV%N_~vO\^+OkV®ˆaZjNR\i ^%VOWV%N_TkN_`aVQYV^%N_eSi5‹5q
^EQY`KlyVMKNžO\^^QSlU`nTkN_`{VO>P@QSRUT O\`~*VMKN[EdeYNR\i:X€RUTkZjRU^QSVQSRU`:pUZ[R3f\N+VMOWV"VMKNi‘RUeYeSR3g+QY`Kl
^%N_Ü0dKN_`X€NyR\it^%VOWV%N_TkN_`aV^N€P@X5MO\`Kl\N_^VMKNyfWO\eYdKN_^R\itf>OW[5QYOW|neSN_^¡ÆO\`~ ¦ q
¡ÍÌÏÎÐ
¡ ¦
¦ ÌÏÎС¯Õ ¦ ¡ÍÌÏÎ ¦ À¡
’ `8R\[E~KNb[V%R*~RkVMKNZ[R0R\i®pKg"NyT&d^%Vn[E^VN_^%VOW|neYQY^EMzOWZnZ[R\Z[EQxOWV%NžZn[N ê O\`~8ZjRU^%VX€RU`~QYVQSRU`^bq LMKNZn[N_X€RU` ê
~QSVQYRU`”QY^^QYTkZeSˆ}VMOWVy¡O\`~ MOŸf\Nu^%RUTkNkZOW[VQYXbdeYOW[fWO\eYdKN_^_p^OŸˆ! O\`~#"zÝkº_¡ %$ "*¼UquLMKN
ZjRU^%VX€RU`~QYVQSRU`}QY^VMnOWV+VMKN_^%N.f>¦O\eYdN_^+OW[NyN€PKXEMnO\`Kl\N_~Cݞº_¡ § "&$ ¦]§ .¼{qLMKNZ[R\|eS§ N_T„QY^V¦*M0§d^+V%R*Z[R3f\N
VMKNyfWO\eYQY~nQSV°ˆ]R\itVMKNi‘RUeYeSR3g+QY`KlkO\^^Nb[V%N_~}Z[ER\l\[EO\TŠq
_º ¡ § '$ ¦k§ "u¼
¡ÍÌÏÎС ¦ …³ÙŸ‹
¦ ÌÏÎС¯Õ ¦ ¡ÍÌÏÎ ¦ À¡
º_¡ § "($ ¦k§ .¼
Ž^%VO\`~nOW[E~^%V%[5OWV%Nbl\ˆ‚QY`‚^dX5M‚Z[ERaR\i†^yQY^.V%R}gR\[Ec”|nO\Xc0g"OW[5~^yi‘[RUT#VMN*~KN_^QS[EN_~”[N_^deYVbq*)0VOW[V.g+QSVM
VMKN`O\e!^%VOWV%N_TkN_`aVO\`~zVMKNžlUQSf\N_`8ZjRU^%VX€RU`~QSVQYRU`*O\`~8~KNb[EQYf\NžOf>O\exQY~uO\^E^%Nb[V%N_~8Z[R\l\[5O\T Qx`{f\RUeSf@QY`Kl.VMOWV
^%VOWV%N_TkN_`aVbpQÅqsN\qSpK`~8»*ÙQx`ŠVMKNi‘RUeYeSRŸgQY`KlKq
,º +]Ù>¼
¡ÍÌÏÎ ¦ À-¡ º_¡ § "($ ¦k§ .¼
ž^QY`Kl]VMNO\^^QYlU`TkN_`aVO>PKQSRUTŠp!VMKN~KN_^EQS[N_~ŠZ[EN_X€RU`~QSVQSRU`vQY^+~Nb[EQSf\N_~}|0ˆŠ|nO\XEc}^dK|n^%VQYVdKVQSRU`ŠR\i /
¦ . ¡¥i‘R\[
¡vQx`8VMKNyZjRU^%VX€RU`~QYVQSRU`Cp@lUQSf@QY`KlVMKNyi‘RUeYeSR3g+QY`KlKq
º ¦0. ¡ § "1$ ¦k§ .¼
¡ÔÌÏÎ ¦ á-
º_¡ § "&$ ¦k§ y¼
­
…­ ‹
 ^QYT]QYexOW[Z[ER0X€N_^^Qx^VMKN_`ŠXbOW[[EQSN_~8RUdVdn^QY`KlVMKN`KNbg+eYˆu~KNb[EQYf\N_~uZn[N_X€RU`~QSVQYRU`uR\iVMKNyeYO\^V^VOWV%N_TkN_`{VžO\^
æ
VMKN]ZjRU^%VX€RU`n~QSVQSRU`¥i‘R\[yVMKN]ZjN_`0deSVQYT*OWV%NŠÇ ^N_X€RU`~eYO\^V³Ê^%VOWV%N_TkN_`aVbq ž^QY`lŠVMKN]O\^^QSlU`nTkN_`{VO>P@QSRUT#RU`X€N
TkR\[N\pnVMKNZ[N_X€RU`~nQSVQSRU`ŠQY^OWlUO\QY`(iÂRUdn`~8|aˆz|nO\XEc8^EdK|n^%VQSVdVQSRU`Cp0VMQY^VQYT]NR\i¡kØ ¦ iÂR\[ ¦ q
º_¡Ø 0¦ . ¡ § "1$8¡Ø ¦]§ .¼
…rèU‹
¦ Ì®ÎС¯Õ ¦ º ¦ . ¡ § "&$ ¦]§ y¼
LMKN<Z[EN_X€RU`~QSVQSRU`zMKNb[NXbO\`Š|jN<^QYTkZeYQ nN_~*V%R8º ¦k§ "&$z¡kØ ¦]§ y¼UpO\`n~8VMKN_`8VMKN<[EdeSNžR\iX€RUT]Z!RU^EQSVQSRU`
XbO\`}|jNOWZZnexQSN_~8V%Rv…rèU‹O\`~G… ­ ‹"V%R*ˆ@QSN_eY~zVMKNyi‘RUeYeSR3g+QY`KlfWO\eYQY~8O\^^%Nb[EV%N_~}Z[R\l\[5O\TŠq
º ¦]§ "&$z¡Ø ¦k§ .¼
… ‹
¦ ÌÏÎС¯Õ ¦ ¡ÔÌÏÎ ¦ Ã-¡ º_¡ § "&$ ¦k§ y¼
éRŸg#VMKN”Zn[N_X€RU`~QSVQYRU`‡R\iŠ… ‹zXbO\`Û|jNÆdn^%N_~ÛO\^ŠVMKN¥ZjRU^%VX€RU`~QYVQSRU`ÃR\i.VMKN¥n[5^%VŠ^%VOWV%N_TkN_`aVbqŽÞ"ˆÃVMKN
O\^^QYlU`TkN_`aVO>P@QSRUT}pVMKNi‘RUeYeSRŸgQY`KlkO\^^%Nb[V%N_~(Z[R\l\[EO\TQY^~KNb[EQSf\N_~:q
º ¦*§ "1$z¡ .¦ Ø ¦]§ .¼
¡ÍÌÏÎÐ
¡ ¦
…r¤U‹
º ¦*§ "1$z¡Ø ¦k§ .¼
LMKNzZ[N_X€RU`n~QSVQSRU`‰XbO\`|jNz^QxTkZneYQ N_~”V%R‰º ¦k§ "&$z¡ § .¼{q‚ŒtQY`O\eYeSˆ\ptVMKN8[EdneSNuR\iX€RUTkZjRU^QSVQSRU`O\eYeSR3g+^
d^*V%R‰X€RUT|nQY`KN…r¤U‹]O\`n~æ… ‹]Z[R3f0QY`l‚VMKN(fWO\eYQY~nQSV°ˆR\iVMKNvR\[EQSlUQY`O\eO\^^%Nb[V%N_~ÀZ[R\l\[5O\T …³ÙŸ‹*O\`~ÃMKN_`X€N
X€RUTkZneYNbVQY`KlkVMKNZ[ERaR\iÏq
’ `”O\~~QSVQYRU`vV%R(VMKNk[EdeSN_^<i‘R\[yO\^^QYlU`TkN_`aVyO\`~”X€RUTkZjRU^QSVQSRU`:pCVMKNb[N]OW[N*O\ex^%RŠ^%RUTkN]l\N_`KNb[5O\e ZndK[ZjRU^%N
[EdeYN_^R\iQY`Ki‘Nb[N_`X€NkVMOWV.OW[EN*R\i‘V%N_``KNbN_~KN_~iÂR\[O>P@QSRUT*OWVQYX]Z[ERaR\i†^bq*LMN_^%N][EdeYN_^OW[Nu`KR\V.[N_eYOWV%N_~‚V%RÆO\`{ˆ
ZnOW[VQxXbdeYOW[exO\`KlUdOWl\NX€RU`n^%V%[EdX€V^tO\`~&OWZZneSˆQY`.l\N_`KNb[EO\eaV%RžO>PKQSRUT]OWVQxX¢Z[ERaR\i†^Qx`.O\`aˆyeYO\`KlUdOWl\N\q LMKN<ÄEšW›•b–€¶
¸n–b›Ä5–—5¸@¹Y–O\eYeYRŸg+^d^V%RT]OWc\N^dK|n^%VQYVdKVQSRU`^ÁR\in^%V%[RU`Kl\Nb[ Zn[N_X€RU`~QSVQYRU`^ÁO\`~ 3R\[g"N_OWc\Nb[ZjRU^%VX€RU`~nQSVQSRU`^bp
O\ ^i‘RUeYeSR3g+^bq
» h»*Ù €º_»uÙ>¼8½hºK¿.Ù>¼ W¿Ù ©¿
º_»]¼z½hºK¿¼
LMQx^[EdeYN^%VOWV%N_^<VMOWVbpCi‘R\[<O\`{ˆvlUQSf\N_`¥O\^^%Nb[V%N_~ÆZ[R\l\[5O\Tàº_»uÙ>¼à½ ºK¿.Ù>¼{pj»]ٍXbO\`v|jN[NbZneYO\X€N_~Æ|0ˆ(O\`{ˆ
X€RU`~QYVQSRU`¥»„i‘[RUT$g+MQxXEM”»]Ù]XbO\`|jN]QY`Ki‘Nb[[N_~h…‘
» œ»*ٟ‹<O\`~Û¿Ù*XbO\`‚|jNk[NbZneYO\X€N_~‚|aˆ¥O\`{ˆ”X€RU`~nQSVQSRU`
¿Óg+MQxXEMŠQSVQYT]ZneYQSN_^bqtLMQx^[EdeS
N d^%VO\eYeSR3g+^d^V%R]iÂR\[5T]O\eYeSˆzT]OWc\N.VMKN^dK|n^%VQYVdKVQSRU`^"VMOWVg"N.QY`iÂR\[ET*O\eYeSˆ
[N_X€R\lU`Q bNO\^fWO\eYQY~Cq ’ `&O\~~QSVQYRU`Cp3VMN<“W›!±—å¸0¹Y–O\`n~.VMKNšW——å¸@¹S–MnO_f\N^QYT]QxeYOW[:i†d`X€VQSRU`^O\`~&OW[N~KN_^X€[EQS|jN_~
[N_^%ZjN_X€VQSf\N_eYˆzO\^i‘RUeYeSR3g+^bq
º_»*Ù>¼8½hºK¿.Ù>¼ €º_» ­ ¼z½‡ºK¿ ­ ¼
º_»*Ù $8» ­ ¼u½ÀºK¿yÙ $G¿ ­ ¼
º_»*Ù>¼8½hºK¿.Ù>¼ €º_» ­ ¼z½‡ºK¿ ­ ¼
º_»*Ù ª » ­ ¼u½ÀºK¿yÙ ª ¿ ­ ¼
’ `ŠZ[EO\X€VQYX€N\pnVMKNyeYOWV%V%Nb[+V®gRu[EdeSN_^OW[ENyQY`Ki‘[N_ÜadN_`{VeSˆzd^%N_~Cp@|ndVVMKN.X€RU`^%N_Ü0dKN_`X€N.[EdeSNQY^R\i‘V%N_`(OWZZeYQSN_~Cq
’ `uO\~n~QSVQSRU`kV%RO\^^QYlU`TkN_`aVO\`~z^%VOWV%N_TkN_`aV^%N_ÜadN_`XbQY`KlKp0VMKNb[NžOW[NV®gR&R\VMKNb[X€RUT]TkRU`zV®ˆaZjN_^R\i:X€RU` ê
V%[RUe^V%[EdX€VdK[NQx`Z[R\l\[EO\T]T*QY`KleYO\`KlUdOWl\N_^_pa`O\TkN_eYˆ&X€RU`~nQSVQSRU`O\e@^%VOWV%N_TkN_`aV^"O\`~k[NbZjNbVQSVQSf\N^VOWV%N_TkN_`{V^_q
è
ž ^+OV®ˆaZnQxXbO\eC[NbZ[N_^N_`{VOWVQSf\NiÂR\[+VMKNyX€RU`~QSVQYRU`O\eCX€RU`^%V%[EdnX€V^R\itT]O\`{ˆŠeYO\`lUdOWl\N_^bpVMKNz^%VOWV%N_TkN_`aV
XbO\`}|jN^%ZjN_XbQ nN_~8|0ˆzVMKNyi‘RUeYeSRŸgQY`Kl[EdeSN<R\itQY`Ki‘Nb[N_`X€N\q
º_1» $ .¼8½ ƺK¿¼ €º_/» $1y¼8½ GºK¿<¼
º_»k¼ 1¾á œ½ ½ }ºK¿<¼
LMQx^y[EdeYN*^%VOWV%N_^&VMKN8X€RU`~QSVQSRU`n^.d`~Nb[.g+MQxXEMO\`‰O\^^%Nb[EVQSRU`GOW|jRUdKV&O\` ”^%VOWV%N_TkN_`aVkXbO\`‰|!NzQY`Ki‘Nb[[N_~
i‘[RUT$O\^^%Nb[VQYRU`^i‘R\[VMKNká ¥O\`~ Š|n[EO\`XEMN_^R\iVMN]^%VOWV%N_TkN_`aVbq ’ VyXbO\`‚|!Nkd^N_~”QY`¥VMKNkZ[R0R\i¢R\i
O\` á 8O\^^%Nb[V%N_~ÆZ[ER\l\[EO\T|0ˆ}|[EN_OWc0QY`l]VMKN&Z[R0R\iQY`{V%RzV°g"RŠ^dK|n^EQY~QYOW[ˆuZ[R0R\i‘^_pnRU`KN&N_O\XEM¥i‘R\[
VMKNá
ê vO\`nê ~u|[EO\`X5MKN_^bq+éR\V%NVMOWVžO\eYRU`Kl*VMKN&á
}|[EO\`X5MCpnVMKNZ[N_X€RU`~nQSVQSRU`(Qx^+O\dKlUTkN_`aV%N_~ÆV%R
QY`Xbexd~KNkVMKN8^%VOWV%N_TkN_`aVZ[N_~QYXbOWV%N”…‘VMKN ¥ZOW[V5‹ VMQY^[N nN_X€V^&VMKNzi†O\X€VVMOWV&VMKNzá ”|n[EO\`XEM‰QY^&`KR\V
N€P@N_XbdKV%N_~‚d`eYN_^^žVMKNZ[N_~QYXbOWV%NkQY^<V%[5dKN\/q )@QxT]QYeYOW[EeYˆ\pnVMKNZ[N_X€RU`n~QSVQSRU`¥O\eSRU`Kl8VMKN 8|n[EO\`XEM¥QY`nXbeYd~KN_^
VMKN.eYR\lUQYXbO\eC`KNblUOWVQSRU`(R\iVMNZ[N_~QYXbOWV%N\q
LMNžO>PKQSRUT]OWVQYXžV%[N_OWVT]N_`{Vi‘R\[QYV%Nb[EOWVQSf\NX€RU`^%V%[EdnX€V^XbO\`u|jN<QYeYeYdn^%V%[EOWV%N_~]|0ˆ]VMKN<[EdneSN+i‘R\[ !"eSR0R\Zn^bq
º_1» $ .¼8½hº_»]¼
º_»k¼ "
#"(%$'&(
½ &$¥º_/» $(.¼
éR\V%N.VMOWVbp!QY`ŠVMQY^[5deSN\pKVMKNZ[N_X€RU`~QYVQSRU`8»×QY^O\ex^%R]ZnOW[V+R\iVMNyZjRU^%VX€RU`~QSVQYRU)` @» QY^^EO\QY~ŠV%R]|jN.OйSš_š5²
™‘› *>“W—å™r“W›n˜†q
ŒtQY`~nQY`Kl*O\`¥OWZZ[ER\Z[EQYOWV%N&eSRaR\Z”QY`afWOW[EQYO\`aVQY^R\iÂV%N_`¥VMN&X€[EQYVQYXbO\et^%V%NbZ”QY`(Zn[RaR\i†^b,q +ži¢X€RUdK[5^%N\pjVMKNb[NkOW[N
T]O\`aˆX€RU`~QYVQSRU`^ygMQYXEM‰OW[NzV%[EQSf@QYO\eYeSˆ¥QY`af>OW[5QYO\`{VVMK[RUdKlUMGVMKNzN€P0N_XbdVQSRU`‰R\i+OveYRaR\Z:pti‘R\[N€P@O\TkZeSN\pO\`{ˆ
X€RU`~QYVQSRU`Æg+MQYX5Mv~KR0N_^`KR\Vy~KNbZjN_`~vRU`”O\`aˆveSR0R\Z”f>OW[5QYOW|neSN_^bq ’ `Æl\N_`KNb[EO\erpMKRŸg"Nbf\Nb[_pÁ^dnXEM”X€RU`~QYVQSRU`^<OW[N
R\i¢`KRzd^%N&QY`v~RUQY`Kl*O>PKQSRUT]OWVQYXZ[R0R\i†-^ gMOWVQY^ž`KNbN_~KN_~ÆQY^žO*X€RU`~nQSVQSRU`vg+MQYX5M(QY^^%RUTkN^%R\[VžR\i¢QY`af>OW[EQxO\`{V
[N_eYOWVQYRU`^MQSZŠ|jNbV®gNbN_`ÆfWOW[EQSRUd^eSRaR\Zvf>OW[5QYOW|neSN_^bq )@dnXEMÆO*X€RU`~QYVQSRU`(T&d^%V|!N.V%[EdKN.R\i VMNQY`QYVQYO\ejf>O\exdKN_^+R\i
eSR0R\ZvfWOW[EQYOW|eSN_^+O\`~vV%[EdKNOWi‘V%Nb[žN_O\X5M¥N€P0N_XbdVQSRU`(R\i¢VMKN&eYRaR\ZÆ|jR0~Kˆ\qLMKN`OWVdK[NR\i¢^dX5MveSR0R\Z¥QY`{fWOW[EQYO\`aV^
g+QYexe|jN<|jNbV%V%Nb[QYexeYd^%V%[EOWV%N_~8QY`8VMNyN€P@O\T]ZneSN|jN_eSRŸg.q
LMNž^QxTkZneSN+exO\`KlUdOWl\N~KN€`KN_~uV%RkQY`XbeYdn~KNRU`eSˆuO\^^QSlU`T]N_`{V^bpKX€RUTkZjRUd`n~*^%VOWV%N_TkN_`aV^b)p á '
^%VOWV%N_TkN_`aV^O\`~ !&eSR0R\Zn^"QY^XbO\exeSN_*~ ). ’ éLq ’ VQY^"`KR\V"O[N_O\e!eYO\`KlUdOWl\N\p@|ndVQY^d^%Nbi†deV%R~KêN_TkRU`^ê V%[EOWV%N
|nO\^QxX&O>PKQSRUT]OWVQxXV%N_X5M`QYÜ0dKN_^<g+QYVMKRUdKVžVMKN]X€RUTkZneSN€PKQSVQSN_^<QY`¥eYOW[El\Nb[<exO\`KlUdOWl\N_^bq ’ V^O>PKQSRUT]OWVQxXk^%N_T]O\`aVQYXb^
X€RU`^Qx^%V*N€PKO\X€VeSˆ‡R\i.VMKNv[5deSN_^*Qx`{V%[R@~dX€N_~ÀOW|jRŸf\N\pQÅqsN\qSpVMKN¥O\^^QSlU`T]N_`{V8O>P@QYRUT O\`~ÃX€RUTkZjRU^QSVQYRU`C/p ê
á
ê zO\`~0"
!"][5deSN_^ZeYd^VMKNVMK[NbNl\N_`KNb[EO\e:ZdK[ZjRU^%N[EdeYN_^i‘R\[X€RU`^%N_Ü0dKN_`X€N\pm%O\`~ozO\`~Àm³R\[Eo@q
žeSVMKRUdKlUMÆVMKN ). ’ éžLœQY^<^QYTkZneYN&QY`Æ`OWVdK[ENQYV<XbO\`¥|jNd^%N_~¥V%RŠQYeYexd^%V%[EOWV%N`KRU`aV%[EQSf@QYO\eÁZn[RaR\i†^žR\i¢Z[ER\l\[EO\T
X€R\[[N_X€V`N_^^bq
kç"RU`n^QY~KNb[žVMKN&iÂRUeYeYRŸg+QY`l*Z[R\l\[5O\Tà½GiÂR\[<ZjNb[i‘R\[ET]QY`KluQY`{V%Nbl\Nb[y~nQSf0Qx^QSRU`ŠR\iVMN`nOWVdK[EO\e
`0dT.|jNb[E^¡ÆO\`~ ¦ q
1 ̮Π¨ 2 Ì®ÎÛ¡ "
!" 243 Î ¦ $'&
2 ̮Π2 ¦ 1 ÌÏÎ 1 Õ×Ö
&"$
)@MKR3gœVMOWV.º_» ¼à½ ºK¿ ¼]MKRUeY~^g+MKNb[EN.» QY^
¡ 5 $ 5 O\`~À¿ QY^ Ø ¡ $
£ q
L MOWVQY^bpQSi¡ÆO\`n¨ ~ ¦ OW[N.`K¨ RU`n`KNblUOWVQSf\NQx`{V%Nbl\Nb[E¨ ^O\`~ŠVMK¨ NZ[¦ R\l\[EO\¨ T[Ed`^V%¨ RzX€RU1/Tk6"Zn¦ eSNbVQYRU2*`Ч VMKN_` 1 ¨O\78`n~ 2 2 OW[¦ N
[N_^%ZjN_X€VQSf\N_eYˆuVMKNyÜ0dKR\VQSN_`aV+O\`~}[N_T]O\QY`~Nb["R\it¡Æ~QSf@QY~KN_~z|aˆ ¦ q
9;:=<?>@<BADC@EF<HGJILK<?MJN!OP>RQTSVUXWYU;<ZQ[C@O \^]P>@K_C@EF<H<?`QaOPbC@EF<LIcG_UdCR]PC@<e\_<e`-C)SV`TC@EY<HUdCfMDgV<hObi=gVjBOgkBlJm
 lUO\QY`CpžgN”g"R\[cÀ|nO\Xc0g"OW[5~^Ši‘[RUT VMKN”~KN_^QS[EN_~À[EN_^deSVbq ވÀVMKN‚X€RUTkZjRU^QSVQYRU`À[5deSN\p+VMNÆZn[RaR\i&QY^
X€RUTkZneYNbV%N.QSiÁg"N.XbO\`}`~8O\`(O\^^Nb[VQSRU`Š»*Ù^EdXEMŠVMnOWVVMKNyi‘RUeYeSR3g+QY`KlkO\^^%Nb[EV%N_~ŠZ[R\l\[EO\T*^MKRUeY~Cq
º_¡ 5 ¨ $ ¦ 5 ¨ ¼
…³ÙŸ‹
1 ÌÏÎ ¨ 2 ÌÏÎÐ-¡ º_»*Ù>¼
º_»*Ù>¼
"
# 2 3 Î ¦ $&
…­ ‹
2 ÌÏÎ 2 ¦ 1 ÌÏÎ 1 Õ¯Ö
&"$
º 1a6¢¦ Ø 2.§ /¡ $ ¨7 2 £ ¦ ¼
éRŸgœ»*Ù&XbO\`v|jN&O\`O\eSˆ bN_~ÆO\^žVMKN&Z[N_X€RU`n~QSVQSRU`ŠR\i¢VMKN "
!"8eSR0R\Z:pn|nO\^N_~vRU`vVMKN !u[EdeYNO\`~vVMKN
lUQSf\N_`¥ZjRU^%VX€RU`~nQSVQSRU`Cq<»*ٍQY^bpCQY`vi†O\X€Vbp:VMKNkeSR0R\Z¥Qx`{fWOW[EQYO\`aVbpCO\`~¥QSV^<~KNbV%Nb[ET]QY`nOWVQSRU`¥QY^+VMN&N_^E^%N_`{VQxO\e ^%V%NbZ
QY`Š~KRUQx`KlkVMKNZ[R0R\iÏq
LMN*`OWVdK[NuR\i»*Ù*XbO\`G|jN*~QY^EX€RŸf\Nb[N_~G|aˆ‚eYRaR\c@QY`Kl(OWVVMKN*l\N_`Nb[EO\e¢i‘R\[ETwR\iO\^^%Nb[V%N_~‰Z[R\l\[5O\T]^yi‘R\[
"
#*eSR0R\Zn^O\^VOWc\N_`(iÂ[RUT„VMKN "
#][EdeSN\q
º_»k¼ "
#"(%$'&(
½ &$¥º_/» $(.¼
Þ"ˆŠT]OWVXEMQx`Kl8º_0» $(¼.OWlUO\QY`n^%VVMKNyZjRU^%VX€RU`n~QSVQSRU`zR\i… ­ ‹5pg"N.T]QSlUMaVlUdKN_^^VMnOWV»*Ùy^MRUdeY~z|jNVOWc\N_`
O\^ 1T6¦ Ø 2y§ ¡ $ ¨ 7 2 pn^EQY`X€NVMKN.O\^E^%Nb[VQSRU` 2 £ ¦ X€R\[[N_^%ZjRU`~n^V%R 1&q"é+R\V%N&VMOWVVMQx^X€RU`~QSVQYRU`}QY^
V%[EdKN|jNbi‘R\[NVMNeYRaR\Z”QY^žN€P@N_XbdKV%N_~CpÁ^Qx`X€N 1 6"¦ Ø 2*§©¨ 6"¦ Ø 2*§ 2u§ ¡O\`~Æ¡ 5 ¨ QY^žlUQSf\N_`”QYTkZneYˆ0QY`l
2 5 ¨ q¢žeY^%R]`KR\V%N.VMOWVN_O\XEM(VQYTkNVMK[ERUdKlUMŠVMKNyeSR0R\ZŠVMKNyfWO\eYdKNR\i 1a6¦ Qx`X€[N_O\^%N_^|0ˆ ¦ pgMQYeSNžVMKNfWO\eYdKN
R\i 2 ~KN_X€[EN_O\^%N_^&|aˆ ¦ p ^%R(VMKN_QY[^dT}pg+MnQYXEMGQY^Qx`QSVQYO\eYeYˆ}¡Ápt[N_T]O\Qx`^.QY`afWOW[EQYO\`aVbq}LMKN*fWO\eYdKN*R\i 2 O\eSgO_ˆ@^
[N_T]O\Qx`^"l\[N_OWV%Nb[+VMO\` ¨ ^EQY`X€NQSVQY^"RU`eSˆz~KN_X€[N_TkN_`aV%N_~Š|0ˆ ¦ N_O\XEMŠVQYT]NyO\`~zVMKNyeSR0R\Z}QY^`KR\VN_`{V%Nb[EN_~}QSi 2
QY^eSN_^E^VMO\` ¦ q¢LM0d^bp@RUdK[lUdN_^^+QY^X€R\[E[N_X€V+O\`~ŠVMN.X€RU`~QSVQYRU`
1a6¦ Ø 2.§ ¡/$ ¨ 72
QY^Qx`ki‘O\X€VVMKN+~KN_^EQS[N_~keSR0R\Z*QY`af>OW[5QYO\`{V¢»]Ù\q R3gNbf\Nb[_p@RUdK["OW[lUdTkN_`aV¢MKNb[EN+QY^O\`uQY`Ki‘R\[ET]O\e@RU`KN\p0^%R.g"N+T&d^%V
X€RUTkZneYNbV%NyVMKNZ[R0R\itd^QY`KlVMKNi‘R\[ET]O\eÁ^%V%NbZn^bq
`RŸg+QY`l*»*Ù\pjVMKN_`:p!g"NkXbO\`”`KRŸg©d^NVMKN[EdneSN.R\i¢Qx`KiÂNb[EN_`X€Ni‘R\T
[ !8eSR0R\Zn^V%RŠ^MKRŸg©VMNV%[EdVMvR\i
… ­ ‹QSig"N.XbO\`}^MKR3gVMKNV%[5dKVMŠR\iVMKNyi‘RUeYeSRŸgQY`KlkO\^^%Nb[V%N_~}Z[R\l\[EO\TŠq
º 1T6¦ Ø 2y§ ¡ $ ¨ 72 $ 2 5 ¦ ¼
…rèU‹
2 ̮Π2 ¦ 1 ̮Π1 Õ¯Ö
º 1T6¦ Ø 2y§ ¡ $ ¨ 72 ¼
éR\V%NVMOWV+gN&MO_f\N&O\~~KN_~}VMN.X€RU`~QSVQYRU` 5 V%RuVMKNyZ[N_X€RU`n~QSVQSRU`8R\i VMKNeSRaR\Z(|!R@~Kˆ8O\^^Z!N_XbQSnN_~8|aˆ
VMKN "
#ž[5deSN\q ”R\[Ec0QY`l|nO\XEcagOW[E~^_pUgNc@2 `KRŸg¦ VMOWVtVMKNi‘RUeYeSR3g+QY`KlžO\^^%Nb[VQSRU`QY^fWO\eYQY~|aˆyVMNO\^E^QSlU`TkN_`aV
O>PKQSRUTŠq
ºa… 1 ØÃٟ‹ 6¦ Ø 2.§ ¡ $ ¨72 ¼
1 ÌÏÎ 1 Õ¯Ö
º 1a6¢¦ Ø 2.§ ¡ $ ¨ 72 ¼
¤
ž^QY`KlkVMKNyO\^E^QSlU`TkN_`aVO>PKQSRUT„RU`KNyT]R\[NyVQYTkNg"Nyl\NbVVMNyiÂRUexeSRŸg+Qx`Klf>O\eYQx~zO\^E^%Nb[VQSRU`Cq
ºa… 1 ØÐٟ‹ 6¦ ØÛ… 2 .‚¦ ‹ § ¡ $ ¨ 7 … 2 .‚¦ ‹E¼
2 ÌÏÎ 2 ¦ ºa… 1 ØÐٟ‹ 6¦ Ø 2.§ ¡ $ ¨ 72 ¼
ž^QY`KlkVMKN[5deSN<R\i X€RUTkZjRU^QSVQSRU`8RU`ŠVMN_^%N.eYO\^%VV®gRzO\^^%Nb[V%N_~(Z[R\l\[EO\T*^lUQSf\N_^d^VMKNyi‘RUeYeSRŸgQY`KlKq
ºa… 1 ØÐٟ‹ 6¦ ØÛ… 2 .‚¦ ‹ § ¡ $ ¨ 7 … 2 .‚¦ ‹E¼
… ‹
2 ÌÏÎ 2 ¦ 1 ̮Π1 Õ Ö
º 1a6¢¦ Ø 2.§ /¡ $ ¨ 7 2 ¼
LMKNkZn[N_X€RU`~QSVQYRU`ÆMNb[N*QY^`KR\V.VMKN]^O\TkN*O\^.QY`h…rèU‹5p|dKVyXbO\`‚|jNk^QYTkZeYQ nN_~vV%R”º Ø /¡ $ 5 ¼
g+MQxXEM‰QY^.g"N_OWc\Nb[kVMO\`‰VMKN8Z[N_X€RU`n~QSVQSRU`R\i…rèU‹z…†O\`~MKN_`X€N8QY^eYR\lUQYXbO\eYeSˆ‚QYT]ZneYQSN_1T~”6|0¦ ˆ‚VM2.OW§VkX€RU`~n2 QSVQSRU`¦ ‹5q
ž^QY`KlVMQY^i†O\X€VbpVMKNfWO\eYQY~nQSV°ˆ]R\i…rèU‹"i‘RUeYeSR3g+^iÂ[ERUTŽVMOWVR\i"… ‹|aˆzVMKN[EdeYNžR\itX€RU`^%N_Ü0dKN_`X€N\q+ZZeYQYXbOWVQSRU`
R\itVMK/N "
#][EdeSN<N_^%VOW|eYQY^MKN_^y… ­ ‹iÂ[ERUT#…rèU‹5q
LR*X€RUTkZneYNbV%NyVMKNZ[R0R\iÏpQSV`KRŸg[N_T]O\QY`n^V%R*^MKR3gÓVMKNyfWO\eYQY~QYV°ˆ]R\itVMKNi‘RUeYeSR3g+QY`KlkO\^^%Nb[EV%N_~}Z[R\l\[5O\TŠq
º_¡ 5 ¨ $ ¦ 5 ¨ ¼
…r¤U‹
1 ÌÏÎ ¨ 2 ÌÏÎС
º 1T6¦ Ø 2y§ /¡ $ ¨ 7 2 ¼
LMQx^yQY^ d^%V8…³ÙŸ‹yOW|jR3f\N\p g+QSVM‚VMNuOWZZ[ER\Z[EQYOWV%N*^EdK|n^%VQSVdVQSRU`‚T]O\~KNuiÂR\[&VMKNuZ!RU^VX€RU`~QSVQSRU`‚»*ÙWq(lUO\QY`
d^Qx`KlVMKNyO\^^QSlU`nTkN_`{VO>P@QSRUTO\`~Šg"R\[c0Qx`Kl|nO\Xc0g"OW[5~^bpg"N.MOŸf\N
º 1a6¢¦ ؉¡ § /¡ $ ¨ 7 ¡:¼
2 ÌÏÎС
º 1a6¢¦ Ø 2.§ /¡ $ ¨ 72 ¼
O\`~
º /¨ 6¢¦ ؉¡ § /¡ $ ¨ 7 ¡:¼
1 ÌÏÎ ¨
º 1T6¦ ؉¡ § ¡ $ ¨ 7 ¡Á¼
LMKN*Z[N_X€RU`~QYVQSRU`”MKNb[N][EN_~dX€N_^yV%Rº_¡ 5 ¨ ¼zO\`~‚XbO\`G|jNk[NbZneYO\X€N_~|aˆ‰º_¡ 5 ¨ $ ¦ 5 ¨ ¼8|aˆ¥VMKN*X€RU`n^%N ê
Ü0dKN_`X€N[EdeYN\qLMKNX€RUT]Z!RU^EQSVQSRU`&[EdeSNQY^VMKN_`*OWZZneYQSN_~&V%RVMKN_^NeYOWV%V%Nb[V°g"RO\^E^%Nb[V%N_~kZ[ER\l\[EO\T]^tV%RyN_^%VOW|eYQY^M
…r¤U‹O\`~(X€RUTkZneSNbV%NyVMNyZ[R0R\i®q
’ `hVMQx^]N€PKO\TkZneSN\p`KR\V%NÆVMOWV*VMNv~QSf@QY^QYRU`ƒQY^]ZjNb[i‘R\[ETkN_~hX€R\[E[N_X€VeSˆƒg+MKN_`Nbf\Nb[u¡ 5 ¨ O\`~ ¦¬#¨ p
|ndKVžVMOWV<VMKNZ[R\l\[5O\TË~RaN_^<`KR\V<V%Nb[ET]Qx`OWV%N&QYi ¦Š§©¨ q.é+Nbf\Nb[EVMKN_eSN_^^bpCVMNO\^E^%Nb[V%N_~¥Z[R\l\[5O\TËQx^+fWO\eYQY~ÆQY`
|jR\VM”XbO\^%N_^bq ’ `¥l\N_`KNb[EO\eÅp:Z[R3f0QY`l8O\`O\^^%Nb[V%N_~”Zn[R\l\[EO\T$RU`eYˆvTkN_O\`^yVMOWVk™ ·žVMKNkZ[ER\l\[EO\T$V%Nb[ET]Qx`OWV%N_^bp
QSVlUQSf\N_^+VMN&X€R\[[EN_X€V[N_^EdeSVbq ¢[RŸf@QY`Kl*^EdXEMÆO\`vO\^E^%Nb[V%N_~ÆZ[R\l\[EO\TËQY^+R\iÂV%N_`¥^O\QY~(V%Ru|jN&O*Z[ERaR\itR\it²@“\—嘆™r“W¹
ÄEš\—5—–ÄŸ˜†›!–å•5• ¢OŠZn[RaR\iR\i˜Åš\˜Å“W¹"Ä5šW—å—%–EÄ_˜†›!–€•E•zO\ex^%R}[N_Ü0dQS[N_^O}Z[R0R\iVMOWV.VMKN]Z[R\l\[5O\T$V%Nb[ET]QY`nOWV%N_^b*q )@dnXEM
Z[R0R\i†^[N_ÜadnQS[NyO\~~QYVQSRU`O\ejO>P@QYRUT]OWVQYXV%N_X5M`QYÜ0dKN_^VMOWVg"Nyg+QxeYej`KR\Vl\R*QY`aV%R]MKNb[N\q
!"#
”N.MOŸf\N.QY`aV%[R@~dX€N_~8O>P@QYRUT]OWVQYX^%N_T]O\`aVQYXb^i‘R\[+Ok^QYT]ZneSN+Zn[R\l\[EO\T]T]Qx`KlkeYO\`KlUdOWl\Ng+QYVMzOk^ET]O\eYej`adnT.|jNb[
R\iX€RU`^%V%[EdX€V^_q%$N_^%N_OW[EX5MKNb[E^QY`ÆVMKN]OW[N_O}MOŸf\N*O\eY^%R}~Nbf\N_eSR\ZjN_~¥V%N_XEM`QxÜadKN_^yiÂR\[.MnO\`~eYQY`luTkR\[N]~nQ'&uXbdeSV
^%R\[V^R\ieYO\`KlUdnOWl\NX€RU`^%V%[5dX€V^^EdXEMvO\^+Z[ER0X€N_~d[N.XbO\eYeYQx`Klkg+QSVMŠZOW[EO\TkNbV%Nb[E^bp![N_XbdK[5^QSRU`}O\`~v^dK|n^EX€[EQSZV%N_~
fWOW[EQYOW|neSN_^_q `iÂR\[Vdn`OWV%N_eSˆ\pÁO>PKQSRUT]OWVQYX^%N_T*O\`{VQYXb^.XbO\``KR\V|jNZ[EO\X€VQYXbO\eYeYˆ(OWZZneYQYN_~(V%R}TkRU^VyXbdK[[N_`aV<Z[R ê
l\[EO\T]T*QY`KluexO\`KlUdOWl\N_^bpjMKRŸg"Nbf\Nb[_p:O\^žVMKN_^%NeYO\`KlUdnOWl\N_^l\N_`Nb[EO\eYeSˆŠf@QSRUeYOWV%N&X€Nb[VO\QY`¥`KN_X€N_^^OW[Eˆ(O\^^dT]ZVQSRU`^
i‘R\[VMKNyfWO\eYQY~QYV°ˆ]R\i O>PKQSRUT]OWVQYXy^N_T]O\`{VQxXb^bq
ŒK[ERUT„O\`ŠO>P@QYRUT]OWVQYX<f@QSNbgZjRUQY`aVbpaVMKN<|nQYl\l\N_^%VZ[R\|neYN_T]^¢gQSVM8TkRU^%VXbdK[[EN_`{VeYO\`KlUdnOWl\N_^OW[NVMKN<ZjRU^^Q
|nQYexQSVQSN_^R\i"^QY~KN ê )N (jN_X€V^yQY`vN€P@Z[N_^^QYRU`^<O\`~¥O\eYQYO\^QY`luR\if>OW[EQxOW|neSN_^bq )@Qx~KN ê )N (!N_X€V^Qx`vN€P@Z[N_^E^QSRU`^V°ˆ0ZnQYXbO\eYeYˆ ê
OW[EQY^N}g+MKN_`ÀOi†d`X€VQSRU`‡XbO\eYeg+QYVMQY`ƒVMKNvN€P0Zn[N_^^QSRU`h[N_^deSV^uQY`hVMN(fWO\eYdKN}R\iyOlUeSR\|nO\ef>OW[EQxOW|neSNŠ|jN_QY`Kl
XEMnO\`Kl\N_~Cq )@dX5M”OuZjRU^^EQS|nQYeYQYV°ˆ8gRUdneY~”QY`af>O\eYQx~OWV%NVMN]O\^^QSlU`T]N_`{VO>PKQSRUT$O\`~¥VMKNk[EdneSN_^žR\iQY`Ki‘Nb[N_`X€Ni‘R\[
ê á ê (^%VOWV%N_TkN_`aV^.O\`~ "
#"ŠeSR0R\Zn^bqeYQxO\^QY`KlzR\ifWOW[EQYOW|eSN_^<[Nbi‘Nb[E^<V%RŠVMKNkZjRU^^QS|eYQSV°ˆŠVMnOWVyV°g"R
~Q'(jNb[N_`aV`O\TkN_^yT]OŸˆv|jN]d^N_~vV%Rv~KN_`KR\V%NkVMKN]^O\T]N*TkN_TkR\[ˆÆeSR@XbOWVQSRU`CqkLMQY^žV®ˆaZnQxXbO\eYeSˆ(MOWZnZ!N_`n^ždn^QY`Kl
XbO\eYe ê |0ˆ ê [NbiÂNb[EN_`X€NZnOW[EO\TkNbV%Nb[ ZnO\^E^QY`Kl+… *-,/..ZnOW[5O\TkNbV%Nb[E^ QY` tO\^XbO\e‹5q exQYO\^QY`KlžQY`af>O\eYQx~OWV%N_^ÁVMNO\^E^QSlU`TkN_`aV
O>PKQSRUT0nVMN.Z[N_X€RU`n~QSVQSRU`Šd`n~KNb[+O\eYQYO\^EQY`Klkg"RUdeY~}MOŸf\NV%Ru|jN.TkR@~Q nN_~8V%Rz^dK|n^%VQYVdKV%NVMKN.N€P@Z[N_^E^QSRU`Ši‘R\[
O\eYe@fWOW[EQYOW|neYN_^tVMOWV`O\TkN_~kVMN^O\TkNeSR@XbOWVQSRU`]O\^ VMNf>OW[EQxOW|neSNV%Ryg+MQxXEMVMKNO\^^EQSlU`TkN_`aV g"O\^|!N_Qx`KlT]O\~KN\q
LMN¢Z[R\|eSN_T]^:R\iOWZnZneSˆ@QY`KlO>PKQSRUT]OWVQYX"^%N_T]O\`aVQYXb^V%R<Xbd[[N_`aVeYO\`KlUdnOWl\N_^^dl\l\N_^%V`Nbg‰eYO\`lUdOWl\N"~N_^QSlU`
Z[EQx`XbQSZneSN_^<V%R¥^dKZnZ!R\[EV.O>P@QYRUT]OWVQYX*~N€`QSVQSRU`n^bqŠLgRÆZjRU^QSVQSf\Nu^%V%NbZn^&gRUdneY~‚|jN]V%R¥Z[RUMnQS|nQSV^QY~N*)N (jN_X€V^
QY`‰N€P@Z[N_^^QYRU`^O\`n~GN_exQYT]QY`OWV%N8O\eYQYO\^EQY`KlKq”LMQY^_pX€RUdKZneSN_~Gg+QSVM‰RU`Kl\RUQY`lÆ[EN_^%N_OW[EXEMƒQx`{V%R”O\dKV%RUT]OWV%N_~hZ[R
l\[EO\Tf\Nb[5Q XbOWVQSRU`Š^%ˆ@^%V%N_T]^_pnX€RUdeY~8eSN_O\~ŠV%RkZn[R\l\[EO\T]T]Qx`KlkeYO\`KlUdOWl\N_^O\`n~8N_`{f@QS[RU`T]N_`{V^^dZZjR\[VQY`Kl&VMKN ê
~KNbf\N_eSR\ZTkN_`{V+R\iMQYlUMeSˆ*[EN_eYQYOW|neSNžZ[R\l\[5O\T]^bq
Ò