Making Sense Of Git In A Legal Context

Author:Armijn Hemel - Shane Coughlan
Position:Owner, Tjaldur Software Governance Solutions - OpenChain Project Director, Linux Foundation
Pages:19-33
 


 
!∀#∃%&∋
 !

∀# ∃%&∋∃∃∃∋()
∋∃∃∗)∃∃)∃&∃∋
∗)##∗##∃∗%#+#∗∋#&#
∋∋∗∃%∋∋),∋%∋∃∃)∃%
∋∀#∃&∗∃##−(&.∋#+
∗)##∗+#)#)%+)&∃
∋∃/∋∋∋ +0)∋∋&∗
)#∃∋∃∋%∗%

+1&∃#%12∋∗)∃+1/
3
 )( &) ∗ )∃ + ∋ ∗&  ∃∋)∃∋) #   
∃%&4#−.5##∋)(&∗∃#∋ ∗&∋∃∗ 
#!%/∗&%#)#∃#∗∃∋ ∗&(%& &∃6∋
)∃∃∋ %& ∋∃6∋∗∗∃#∀## &%(,&∃#∃
∋∗/()#∋7∃#&%# ∋ ∃0)∃
∀#∃ ∗& # )# &%& #) /∋  +
0) + #)#)∃∋ ∋)) ∃&  ∋∗)/ +#
&(∋&&%∗% ∀#∗∃)%&∗ # 
∃∃&∗∃∋∗)&%&∋)#&∃#&(#∗
)##∗! 8&%# ∗)∗ #∃  ∗ ∋ #)#)∋∃) #+
%&+)∋+∃/∋#+#&∃∋∗
∃#∋#9∃90)

∀#  %& + % ∋ ∗∋ (%) ∀ ∋   ∗∃& # ∗∗%
:;∗∗& !:;∗ ∋∃6∋ ∃ %&#+)∋ (%
∗  #)  ∋ ∗& ∃&&)%+# & ∋∋ ∗& +<+
∋∗)∃+∃∋)∋= !/∋∃(∋+∋∋#∗>∃&∃&
!∋()∗+∋2?/≅&()∃)4Α)?/!Β51Χ#
 (#∗(&(∋∋∋∆#∃# &+Α)∋&Ε!Β>Φ>?∗∋
 ∀#)2)∋/−Γ++#) .4∗Β/!5#∗+++))(>
%>>>>+>+#>>>)>∋
2∋∗)∃++Η + 3/)
! 
(∃&∗(&∃∋∋)7&∃)#∃#)Ι
∋+∀∋/)∋ ∗+#∃()#&( ∗ϑ∃/+∋
∃+# :;∗∋  ∋# :;∗ ∗∃∀# ∃ %+ (∋%
∃ ∋(%# :;∗∋ ∗:;∗/ +#∃# #∗ +∃∋ )∃+/
∃)∋(∃∋ /# ∃∋∗∋ ∃∃9 ∃)∋
+∃&∗)∀∋Κ∃+∋&∋ #∃∋#
:∗∋ ∗ ∋#:;∗∃#)∗ϑ∃Β
) ∀ ∋∃∋   ∗  # ∃#/∋  # )(0)% (∃& #
)&(∃#∃  ∃&% ∋ ∗Φ #∃∋# ∃
+∃&∗7# ∃)∃#≅)(∋(?

∀#  + ∃∃∗  # & ∋7∃&∗∋  #/ ∋  ∃
%&Λ# )0)/ #)∋()∋∋ ## ∋∃&∗&
#∋(∋)∋&%)∗∗)∋ ∗&

∃&∗%∋∃6∋9)# ∃∗%&+#∃#∗∗∃
∃∋ &∗% ∋  ∃&)∗  ∗%  % ∗ϑ∃
&/∋  % −∃.   ∗%# # )#% ∋  ∋  % #
∗%/∋ ∃#∗% % 0)   #∋ ∋&∋ &%%
& (+%#∗∀#∗∃)∋∃%&∗∃∋(+∃#
#/&%∋ +∋7∋ ∗&∗#%∋ ∋)∗%∃∃
&    ∃&& )∃∋  &  &%  # ∗/  +#     ∗%  (  #
−)# ./(∃ ∃&&## (&∋#)∃ #∗∃)
∗ϑ∃#)#∗ϑ∃&#∃#∋ ∗%# ∃∃ 9)
# ∋+# ) ∀ ∋Κ ∗% 9 #∋& ∃( &∋ +#)∃
∋∃∃∗)#%)∃#−)∃.
7∃&&∋ #∃∋&∋ #∃&& ∃# ∋7 ∋
∗% ∃ (∃& −&∗.  ∋7 ∃&&  &)∗ ∗∗
+ # ∃∋& #∗%  &∗ ∃# ∋)∃   #
)∋ ∗&∗∃/## (#)∋ ∃()Χ∃##
∃()# & ∗+# ∃ ∃∗% #) ∋# &∋
∃# & ∃∃∗# #  #∗%&∋(% )
∀ ∋/∃∋∋(%#)∋ ∗&∃&&)%#∃∃∗%#
)  &  # ∃#    ) ∋∃%/ () #     #
∗ &∋ (% # ∃()/ +# #% &# #  ( &∋ +# #
∃#/&∋,∋/(#%+∋
Ι+∋
+∋
Β Λ∋/−∃ %/∀ ∋(+ΜΜ.4∗/!5
#∗++++∋∃&∃!ΒΒΒΦ∗>%&>∃ %>> ∋>(>+>>>>#&
Φ ∀#Χ∃∗2)∋/−Χ∃∗&&)%) %Η).4Α)!/!Ι5
#∗+∋∗∃&!ΙΒ!∃∗>∃&&)%>) %>!Ι>)
? Η∋∋&∋∋&#+ &∋)/∋&#
#6∋#∗+#&∗&∋/&#+# +#+=&
#8 %3∃//:∋/−∀#∗&∋∗&.Β#ΧΧΧΛ
∃+Η∗4%Φ/!5#∗∗∋∃)&ΒΙΦΝ)>>
∃
2∋∗)∃++Η + 3/)
 !
∀# ∗ # # # & ) &% &% ∃∃∗  ∗∃))∋
∃#/ ∋# &% (& ∃# #   ∃∃∗∋)∗&  ∃∋ #
∗∗ #∃∋#∗∀#∃∃ #
)∃%∗∋(%#%&∋/()∗(##∗&%
& #∃∋)∋#∋∃<)∃

# ∃ ,/∋ ϑ)#∋7∃(+  ,Χ %
 ,∋∋∋#%∋∋)0)∋,/∃∋
∋/(∋∃,## #&∃+# #&∋
∋ # <+(+  ∗/  +# ∗/  ∃∋  ∃&&∀#
∃&&∃(&∗∋ 4∗)∋5&#∗/+#&∋()# ∗∃)
∃## #∃&&∗2Ο∃∃%/# ∋∋ ∃&&&#( 
∗%#&∗∃#4∃∃∗∃#5/()#∋+ (∋
%4#∗∃##(∗∗∋5/∋#∃( ∋%
∀#(,#∃#∃)#%+ (%,∗%∃(∃&∗∋
∃###%&∗+#%∗∃)∗∃&∋+%(
∃∋+##∗∃,∃∃&&#∋)∃∋ ∃#/∋#∃#& ,∃
(∃&&∋&)∗&+#∋7∃&&&()+(∋ϑ)∃
  !!!
∃&&∃(∗+∗
 ∋/)∃#&()#∋#∃&&/#)#/∃&&&/
∃
! ∃),∋
!!
∀# )+%#+&∋∃&&∀#+##%,/
∗%/#−.∃&&∋∃()∋∀#+∋∗∃,∃∋ ∋)
∃&&/#−.∃&&∋∃()∋∀#)#∗%+#
#%  ∃#∃&& &∋   ,  ∗%/ #% +)∋ ) #  
∃&&∋/+##%+&)&/)∃#+##+(%+#&
∗∃,∃∃#∃&&+&∋/#%+)∋)#∃&&∋
:∃)#∃,/ ∋∋ ∋)∃# ∃∃,/
∗(∋ϑ)#+∋∋∗%∋)∃#&45∃&∗)∋0)∋(%
#∗∃)0)&∋ ∗ ∋∗∃)&∀#∃#∃)&∗(
#+ &∋/   ∋/  ∋  ∋7&/ ∋∗∋ )∗ # ∗∃)  ∋7
#&)∋∋ #∗∃∋ ##&∀# +&&)&<(%
∃#∗∃)%∗ &( ∃∋/∋+#∗ #∗%#
&
2∋∗)∃++Η + 3/)
!! 
∀!!
∀#&∋∃&&+∋∃∃
 ∃#∋&∋(%+#
! 8∋&∋(%#∃∃&&

& # ,∋ # &∃#>∗∗)∋(% ∃)∋ (&∗  ∋%∃∗%#
+#∗∋)##∗
 )0)∋∋%∗∃)∃&&
! >&∋∋∋&#∗%+#∃&&∋∃∋
 ∋##∃#+∃&&∋
Ι  &∋∋ ∋ & # ∗ #∃&&∋ # ∃# #
∗%
 ∋#∃&&+∋∋∋#∗%
Β    & & #∗ ∃&& #∃# ∀# 
∋ (%  #  ∃&&/ ()      ∋ +#  #  )&∃% &∃#>∋
∃/###)>∋∋
∀#&∃#>∋&∃( ∋&(%) #∃&&∋−/.
  &∋ ∋ ∗ϑ∃/ − #+/.   ∗∃,∃&∋ ∋
∗∃)∃&&
4%5&∗ #  &∋∋∗ϑ∃∃ (&# )


 !∀#∃ !∀#%
&∋!(
)∗+,−∃−∀!!##%
)&∋!(
∀#+ ∋)#+∃&&∋
((!./
∀#∃&&∋,/#&#∋∃&/∃∋#+∋−∃&&.#
,   )∗) ∀# )#∃∋∋ (%   # )# ,∋ ∗&Π∋ 4∋+
/#&Ο∋+#9# ∗)∃ ∗&(/∗∋∃
#  ) 2)∋5  ∋  #  ∃&&  + ∗)#∋    #  ∗%  ∋  # &&∋%
∃&&∋(%)∀ ∋4#%)&∋∗5
 −!./.∃&&∋#0)+#∃#∗#&()#∃&&#−).
&/+#∃#∋∗%)#/)#∋/∃&&/∋∃&&∋&#∗>∃&∃&∋∃>
2∋∗)∃++Η + 3/)
 !

∀#∃&&∋,/∃&&∋/)0)%∋,∃#∃&&∋∃∋&∋
&∋#∃&&∃( ∋&)#∋,

∀# )#,∋ ∃∋# >& ∋∋∋ # & # ∃()+# )(&∋
∃#∃)∀#∋(%#∗)(&∃#∗%∀#,∋
&∃∋∃∗%#+#∗)##∗# /% %
&∋ >&∋∋∃∋+# )(&∀#∃)∃∗%#)##∗&#
( +## )(&/() +# ∋7∋ ∋) ∋ ∋)/ ∋# ∃∗%#+#∗
&#(+##∋7∋ ∋)∋ ∋)% +#&#∋ ∋)+
(/)∃#&∗%∗%#&∃∋∋#∃∋∋
&&#∃&&&/∗∋&∋(+
%+  )#)# ,∋# &)#  ∋+#
∃∋4+#∃#)∃&&5##,∋+∃∃%<∃)##∗)/
&∋ ∗&&# )∋ %∗∗∃# +)∋#)# )
/#∃&&&/∋∃(∋(+/&&)∋∃∋##&
#)#/ () ∗ϑ∃Θ,#& #)# ∋#∃∋>&
∋∋∃∃∋∋∗)#)#,∋/&∗

0 12.23
∃ ∀#+∀++ #%
&∋!4
)0 12.23
∃ ∀#+∀++ #%
)&∋!4
∋+(∃ ∃∃& #(∃& (#∋ ∗∃∗&&∃%
∃∃)%∃)##∗&Λ#&∗#&∗ϑ∃/)∃#
#)/#)#,∋∋ ∃%<∃+#∃)%+∃()∋#
∃∋∋#)∋(∃) % ∗&%∋)∗

Λ# ∃&& ∗)#∋  ∗%/ #∃ ∋ # &∃#+# #∃&& +
∗)#∋)∋#& ,∋Θ#∗)#∃&&∗%∋
& #∃&&  ∃)% ∃&&∋ # ∗%/ /  ∃&&&   ∗ ∗
∗#&∗)#∋#&∃&&∋∃#∃(%+∗∗+
∃∋+#)#  +∃∃ (∀# &,∋ ) 
#∋&  4∃5 ∗%/∋ ∋  <∃ #∃) ∋+# #∗∃)
∃#+ +(% #)# ∀# (∃) # ∋()∋ ) /)∃# 
+)∋&
∀# &∗+# # ∋  ∃∃% )∃# #+ ∃&& #)
;

&+5∃+#−∀#%
2∋∗)∃++Η + 3/)
!Ι 
&∋!4
)6+∃∀+#+%
)&1+7−(
Θ##& !Φ/∋ !%#))/ #)##∃∋+
∋∋∋)Μ∗%!#∃/#∋ ∋)#∃#∃∃%
∋# &∋9 % #) %∗∗#∃9 ∋&#
&∋∃+%(∋)∗∃∃)∃%

∀# ∃&&,∋# # &∋ & ∋∋ #∗ # ∃&&∋# ∃# 
∗%

&&/ #)& &#∃&∃## ∃&&
  (# & ∋ )&     ∗∗%  4#  &∃#   #  )#  ∋
∃&&(#%∃#6∋+#(&)∃Θ∀=5##%+## #
& )/ )& + (  # & :∃) ∗∃#∃)∋ ( 
∗% &(#%∗)∋ #∗%#∋7∃(+#
+ )∃)∋(%#&#∃∋ %

 # &∋ # ∃  (∋ & )>∋∃/  # # −∃&&
&. ,∋ #)#% &+#∃# # ∃&&+#  ( ∃∋+# #
∃&&∃(∋#,∋/∃∋∋∋∃∋∗∃∃# ∋∃∗#
∃#/∋ # &# + ()) +# ∃∋   ∋/ # 
∃)∋# ∃&&&∃ ∃∋∃)& (∃)∋&%∗%
%#∃∋
∀#  ∃ +# ∃ ( ∃)∋∋ #  ∃&&&/ ∋  &%∃)∋
∗)∗∋∃∗%#+#∗)##∗&#)∋(∋##)/
&∃∗%#&# (∗)#∃&&&∃∋∋#
!%/()#)&()##∗&#4+#∃#&%&%
<∃−)##∗.###&)∋∃∗%#+5

∀#)  ∃&## ∃#∃(∃)∋ ∗∃,∃∃&&1#%&%
∃ &() ∃()+# ∗∋ )/ ()∃ %&/
 >&∋∃)/& ∗(∃>)#/ ∋ ∀#& &∗ #
#∃∋−∋+((../#−∋ ∗∃,∃.
 !
 &∃#&∗)  ∗∃(% #) ∃&&)% ∋)(0)% ∋∗∋(% &%
#∃&&)#−∋ ∗∃,∃.∀#∃∃∃#
 #∗))∋∋ ∗∋>∗∃
 #∗∋ ∗∃,∃
2∋∗)∃++Η + 3/)
 !
∃)∋ ∗ ∗(&∃∃∋4&∗/∃∋#∗∗%/#∋
# ∗∗∗∃∗&( ∃()∋#∗ϑ∃/∃5&(∋∋∋ #
) ∀# +(%  #  )#∋ & 4# +#∃# ∃)∋( #
−∃&&. # ∃∋5 − 7. # ∃∋/ )  & ∋∃# %
∗∃)∃## (−∋+((.. ∋∃# & ∃#∋ ∋)#
#∋7#∃&&#(∋/&∗
∋+((.∗+,−∃−∀#%
∀#−∋+((.. ∗ ## &/& %∗∋(%
#)&∀#−∋+((.. &∃#>∋&∃#> ∋∋/∋#
∃∃)∃%∃∃∋(%#∀#&##∃& (%/
∃)∋∗ &  #)  ∋7∗)∃) Λ# # )# # ∃
∃#∋ # )      # %) ∋7  4∃)∋ ∃
∋7∃5#−∋+((..+)∋∗ &&∋Ο∃)
∗∃∋ ∋∃&&&∋)
∀#!∃!
 # )   &  ∋+((.. + )∋ # ∃)∋∗(%
∋∃)##∗&∀%∗∗#∃#%∗∗#

((.
+.((.
+(.
(+(.
!(.
!(!(.
−+.(.!(+(.
(.
.!+(+(.
+((.
+((.
∀#+)&)+##∗∃+( )
(+(!(+(!(.
(+((!(.
(+((.
(+(+(!(.
(+(!(.
(+( (.
+(+(.
+(!(.
+( (.
2∋∗)∃++Η + 3/)
!Β 
+(!(.
!(+!(.
!(((.
!(+!(.
 .
−(((.
!−(.
(.
+++(.
∀+0)& ∃∗%#∗∗∃ −+(.. ∋−+
./.+#∃# )∋∃&&∋ ∃∃/)&∋)∃∃∋ ∃#∃)∋(%
#)∋ ∗∃&&)% ∋∃ ∋∃∋∗∃# )∃#
&&+#+)∋(#∃))#∗∃#)&∃%∋(%∃∃#∗
+#+ # ∃∋ ∗ #∗∃#/ # ∗+# +#  #)&∃%
∋#∗∃#/# ∗+#+#∗∃,∃#+)∋(%# 
#∗∃#(∋/∋ ##∋)(&∋#∗∃#∃)#
∃∋∗+##∗∃#(∋∗∃,∃&∋(%&
#
&∋ ∗#  ∋#++#)∃#%&∗∗ ∋
)##∗∃
+(.
(
!(+(!(.
+!(.
∀#+#∃+#+∋∋
(+((+(+!.(.
8(.
(+(((.(.
(.
9(:!(.
(.
(.(+(.(+((.
∀# )   #  &  #  ∗((%+# ∗   )##∗
∃Λ#&∗+#+%∃+#&#()∋(%
)#     ∃&&      ∋∃   +#    #  )#   #  ∃#  &   ∃∗%#
∗∗∃ :∃)#(% )#∋∃&&− #+.+##%&
 # / &# ( +# ∋∋  )∗∗/ ∃&∗/
∋)∃ # <(%  ∃ + ))) /  ∃ ( ∗∃∃  
∃#/ ∋  ∋∋  ) ∋  ∃% ∃∗%# )##∗ ∋+#∗ 
)/∋#∗ϑ∃/& +∋
2∋∗)∃++Η + 3/)
 !Φ
#
&∋∃#,∃&&∋ ∋−∋. ∀#,∋∃ (
#+)#− .∃&&∋∀#∋ ∃(#+ %+%/)∃##
+#,/∋7∃#,
% %&∀
∀#∋)∋∗%∋7∃(+,∗∃#),∋&/∃∋−),∋
∋7.!∀#∃∃∗ #),∋∋7&# () ∋∃∋∋ ∋∋+%
∋∃(∋7∃(+,/ ∋#+ & , +  #,/ 
#&# ,8,∋∋7∋∃ %%&()∃∗%#)##∗ 9
##,#∋7∃(+∋#,9()∋∗ ∋∃∗
∋∃(#+&,#
&∗&  ∋7#&4&&/∗∃∋ #∋)Μ&%Μ∋7#& 5
∀##&∃∗∃#∋7+%2&∗/#Μ&&Μ∋7#&
∃&∗) #& ∋7∃∗( ∀## #&∃∋7∗∃#/ ()#
∋) ∗∗%∗∃# +%#& Λ#& ∗∃# ϑ)# ∗∃#
##)∋ (∋ 1 +# ∋ (∃∋∋ +9 )∃# +#∃#
#&+)∋/+##,(∋#∃#
&∗&#)∃∋&##
((;;!!; +;!#;;!!; +;!#
+:##
(((;;!!; +;!#
444;;!!; +;!#
∀∀(<4<∀∀!===>+?
+7≅∗∗Α
Β
(−Χ
4−==Χ
!===>+++?
∆
!=+ΧΑ
∀#, #∗∃# ),∋∋7&∋∃(+#∃#∃&&∋ +)∋+#∃# ,
+  ∋∃#∋7/+##)∋(∋##,∗#∗#∃#,
4−.∋−(.5+∋)&∃%∋#−>>.<∗∃,∃∋ (#
∋∋ −∋7.
∀#∋∃(#∋(∋#∗∃#/∃∋#−∋.∋−∋
∋. ∀#    ∗∋  (% ΜΜ    ∃)∋∋    #  , %&  ∗&   #  ,
4ΒΙΙ5/+#∃#  &∃∗%#∗∗∃ ∀#  #∗∃,∃

! #∗+++)+∋7)&)#&Ε∋8,∋>2&#& 
 ∀#∋)#&#−%.∋7∀#−&&.∋7∃&∗∃#/+##−∗∃.
#&∃(∋(∗∃#
2∋∗)∃++Η + 3/)
!? 
∀#+∋∃(#−(.∋−.,/&#,#∗∃#
∀##∗∃#∋∃(+#∃##)∋( &∋∋#+#%#)∋(&∋
+#−ΠΠ.∋∃(#∗#,+##∃##)∋(&∋Χ %
&   +#−ΠΠ.  ∋∃#  +#  ∃∋ −∗∃# #).Χ∃# ∗∃#
∃&∗∃##)#∗∃)∗∃##∃##)∋(&∋Ι!
#,/∋#∗∃#)∃#Φ#,#∃##∃∋+(
#∃&∗∋+# (∋∋∋& ∋
#∋∃∃#+##Μ>ΜΜΡΜ#∀#∃
∋)  (# #∋ (∃#∋ ∋ # ∃#4# 
+%∗(/&∗# ∋ #,5∋#%  +∗)∗& 
#)&#∗∃#∃/()+∗&)∃#−∗∃#.4∗&
#∗∗∗∃#,)∃∃∋5∗∗%∗∃#)66%+%+##7∋Μ%
&∃#/ ∃) #∃,∋ )+# #∗∃##)∋( ∗∗∋2&∗ #
( ∗∃##,#Ι!∋&∃#+##∃
#∗∃#/()+)∋&∃#+##/##∗∃#∗&∃)∋∗∗%#
∗%#∃)∋(&∗∃#∋(%/)∃#&∗+#,#
(& ∋/∃∗∋∋∋∗∃# ∋7∃(∃∃∋/∗∃#&
&)∗∗∗∗∋∀#)0)
∃% 
# ∃ ∃∋)∃ + +/&% (&∗ ++#∋∋∋
∗∃∃∋∋+##%∋∋∀#&&#∃&&&∋∋∃(∋( 
∃∗ ∋&&()+#∋∃∋ #%&/∋∗(%+#∃# ∋
)∃# ∃ %∃∃)∋/()   )) +0)∋ #+ &)∃#∃∋
∃()#∋∋∋ ∋#+&)∃# #∃∋ ∃∋%∋ ∋)∗% 
∋ ∗ ∋%)∃()+### ∗#∃∋+ #)#
#∃∋/∃∗%#/+#+#%+#∃∗%##∃∋
& )( 3/ ∃& +# −(&.4−∗.5 ∃∋ −(&.
##++#∃#∋∃#∃∋∋+#∃#∃&&#∃∋+∋Λ#
#))/∋#)%∗ ∃
∀#&%∃()∋#)∗%+#%∗#∃∋
+∃#∋∋#∃∋0)&∃()& )∃()∀#
−(&.+%#+#& #∃()∃#%/∋
+##∃#+/ ∃∗%#(∀)∃ ##∗ ∃&
%∗∃)∃∋/&#)#∃##( )∋∀#∃)∋ +
#+&)∃#∃∋&%∃()# (&∋(+&)∗ /∋
% ∗∃)  ∃∋ #+ ∋∋∋  &∋,∋∃ ∃)   ∃∗%#( +∀#
∃∗ ∋#&
∀ )  #  #   ) +#  #  ∃() +#    ∋         #
∃()+# +# ∃∋ 0) &∗&# )  # ∃∋
−ϑ.+# ∃)∗∃∋  ∃& ∃∋∋∋# #)∋(∋#∋ /
)∃##∋/#)&(∃)&#)∋/#& ∃ +#∗∃/
∋∀#+&%∃∗>∃∋&∃&+##
∃∋∋∋ )∃# )# )∗) −(&. (∃)# )#∋ ∋
)#ϑΜ&+#0)∋
2∋∗)∃++Η + 3/)
 !
&∗&#)+###∃#+∃&&

0 12.∃ ∀#+%
&1+Ε+(
Φ5∗7Γ !+!
) !+!<+++.−.++
+
+!#

∋+((.0 12.∃ ∀#+%
∋+((.&−∋#1∃−∀−#+%
∀#∃&&&∋∃##∃#+&∋(%)#−∃#∃∗∃#./+#∃#
  )∋ (%# ) ∋ ∗ ,∋ ∃∋ #∋Μ ∋# ∃ %∃
∃ 
∀#∗∃#∃,&#&,#% ∃## ∋∋&∗∃
∗)∗ &∃∋ −∃. ()+#∃# #  7∃ #)∃% #∃∋

((;+;Η;−+!#;+;Η;−+!#
+:##
(((;+;Η;−+!#
444;+;Η;−+!#
∀∀(<4<∀∀
Ι)ϑ7ΚΛ=0Μϑ)=Κ∋
+−+=!=+>−?Α
+−+=!==−>+=−Χ−+−?Α
(+−+=!==−>+=−Χ−+−?Α
(−−+=!=+!>−?Α
4+−+=!==−>+=−Χ−+−?Α
4−−+=!=+!>−?Α
Ι;Χ7)ϑ7ΚΛ=0Μϑ)=Κ∋Χ;
Ι+−+=!=+>?>?
(Ι+−+=!=+!>?∆Β>?
(Ι+−+=!==−>−?>∆>−?>−?<ΑΒ?
(Ι+−+=!==−>−?>∆>−?>−?<ΑΒ?
(
2∋∗)∃++Η + 3/)
 
4Ι+−+=!=+!>?∆Β>?
4Ι+−+=!==−>−?>∆>−?>−?<ΑΒ?
4Ι+−+=!==−>−?>∆>−?>−?<ΑΒ?
Ι+
Ι+;ΧΝ>==Ο67=5∗7=0Μϑ)=Λ7)==?Χ;
#  # ∗∃#   &∗ #  &   +#∗∃  −∋∋Ε∋ . ∋
−∗∃Ε∃)∗.
(&#+##∃#∋(%#∗∃## (&∋,∋(%=∃∃≅∋%Ι
Π>∗+,−(((?Ι+
==Ο67=5∗7=0Μϑ)=Λ7)==
Π>∗+,−(((?Ι+
==Ο67=5∗7=0Μϑ)=Λ7)==
Π>∗+,−(((?
Π>∗+,−(((?Ι
)ϑ7ΚΛ=0Μϑ)=Κ∋
Π>∗+,−(((?+
−+=!=+>−?Α
Π>∗+,−(((?+
−+=!==−>+=−Χ−+−?Α
>0 12.(((?+
−+=!==−>+=−Χ−+−?Α
>0 12.(((?−
−+=!=+!>−?Α
Π>∗+,−(((?
Π>∗+,−(((?Ι;Χ
7)ϑ7ΚΛ=0Μϑ)=Κ∋Χ;
Π>∗+,−(((?
Π>∗+,−(((?Ι+
−+=!=+>?>?
>0 12.(((?Ι+
−+=!=+!>?∆Β>?
>0 12.(((?Ι+
−+=!==−>−?>∆>−?>−?<ΑΒ?
>0 12.(((?Ι+
−+=!==−>−?>∆>−?>−?<ΑΒ?
Π>∗+,−(((?Ι+
Π>∗+,−(((?
Π>∗+,−(((?Ι+
;ΧΝ>==Ο67=5∗7=0Μϑ)=Λ7)==?Χ;
Χ∃#  # (& +# #∃&& ∋ 4# & &5+# # + 
Ι ∀#∃∋∃((+∋
#∗#)(∃& ∋)(&!!∃∃!∃?Ι(Β∃?∃Β∃Β∃ΦΙ∋?(?!0 ∗∃#
2∋∗)∃++Η + 3/)
 
&∋,∋/#&#∗&∋%/#∋&#∃&&/∗)#∃#
∀#+#−!!∃∃!∃.+∋)∃∋(%#∗∃)∗∃#
∀#−(&.)∗)(#∗∃#+∗∗∋#+#+)
Π>∗+,−(((?Ι+
==Ο67=5∗7=0Μϑ)=Λ7)==
Π>∗+,−(((?Ι+
==Ο67=5∗7=0Μϑ)=Λ7)==
Π>∗+,−(((?
Π>∗+,−(((?Ι
)ϑ7ΚΛ=0Μϑ)=Κ∋
Π>∗+,−(((?+
−+=!=+>−?Α
Π>∗+,−(((?+
−+=!==−>+=−Χ−+−?Α
Π>∗+,−(((?+
−+=!==−>+=−Χ−+−?Α
Π>∗+,−(((?−
−+=!=+!>−?Α
Π>∗+,−(((?
Π>∗+,−(((?Ι;Χ7
)ϑ7ΚΛ=0Μϑ)=Κ∋Χ;
Π>∗+,−(((?
Π>∗+,−(((?Ι+
−+=!=+>?>?
Π>∗+,−(((?Ι+
−+=!=+!>?∆Β>?
Π>∗+,−(((?Ι+
−+=!==−>−?>∆>−?>−?<ΑΒ?
Π>∗+,−(((?Ι+
−+=!==−>−?>∆>−?>−?<ΑΒ?
Π>∗+,−(((?
Π>∗+,−(((?Ι+
Π>∗+,−(((?
Π>∗+,−(((?Ι+;ΧΝ
>==Ο67=5∗7=0Μϑ)=Λ7)==?Χ;
 ∃ (  # ∃∋  & ∋∃/ ∗ & # +#∗∃ ∃##)# #
∃#∋)∃∋(%=∃∃≅∋%%+#∗∃/#)∗)(&&#
 #&∗##++(%#&
∀#+#∃#)∃#∋7∃∃,&∃#∃∗%#)##∗9∋#)#(%
 )  #  &   &     ∃&   ∃  ∃& 9     &    
∗≅+ /#∗ ) ∃/∋)&#∋ ∗∋ #
)(ϑ∃(#∃#∋&)∃#∃
 Χ∋/Α/−∀>(∋)##∗&&/.ΛΘ4∗/!Β5#∗+∃Β?Ι!
2∋∗)∃++Η + 3/)
! 
&!!
∀∋∋ & # #∃&#   +# ∃& ∃#∃∗%#
)∃∃∋∋/+)∋())&#(++∗∋
 ∋∗ ∋∋6∋  4# )∗∗∋  ∋∃%/   ∗   −∃
∃∃.5#+%∃∗%#+#∗/∃∗%#)##∗∋∃∗%#∋
&∋)∃&()%)∋##&#()∋∋∃#∋
∋∋#∋)∃#(%−∃%)+.∗ ∃)
() +#  ∋    ( ∋  ∋    + &  )&   #  ∃ 
&(∋∃∗)∋
! 2)∃+#)#+)∋+&∋∋∃∋
∃()/)(> ∀∃,∗#∋∃

∀#∗∗#∗ ∋∋()# %∗)##∗∋((&#%&
∀#% +% ##   ∃ %&∋ ∃∃∃ ∋()
∋∃∃∗)∃∃)∃&∃∋∗)##∗##
∃∗%#+#∗∋ ∃− (&. ∋ #+∗)##∗ +#)#
)%   (  ∋∋      ∃∃  )#%       )∃    )#   ∀#/
&∗ &# / ∃& ∋∃∗ ) ∋
∋>%/+)∋ (0)∋ )% )  )#% ∗ ∋ ,(∃∋ 
∃∗%#)##∗ ∋ +#∗  ∗∃∋ % 0)∋/∋ ∃) #)∋(
∃))  % )∗  )∗)  ∋∗   0)  ∃∗%# +#∗ 
)##∗∋∋ +∋∋∋∗∃%+)∋(#∗)),∋%∋
∃∃)∃%   ∋  ∋    ∃∃)% ∋&  ∗  )#   ∃∋  ∃∋    % 
∗%
#
∋(,−%!!
!!!,∋!..,
/!!/%∋+!
/∃..!0∋∋,
/%&∋
%!,!∋!
!!!+/1
!0,,!1
!%!122
1!∋,!,∀#∋
2∋∗)∃++Η + 3/)
 
2∋∗)∃++Η + 3/)
∋
∀#∗∗+∗)(#∋#2∋∗)∃++
Η +/3)&/)4∃&(!Φ5%∗∗∋
#∗+++
∀#∃#)∋(∃∋+
≅&/&ϑ∋)#/#4!Φ5ΜΜ/
+&!∃3Σ4Σ5/∗∗9
 !
∗%#Τ!Φ&ϑ≅&∋#)#
∀#∃∃∋)∋ &&()Ι>:Γ (
#∗∃ ∃&&∃(%Ι