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&∃#%12∋∗)∃+1/
3
)( &) ∗ )∃ + ∋ ∗& ∃∋)∃∋) #
∃%&4#−.5##∋)(&∗∃#∋ ∗&∋∃∗
#!%/∗&%#)#∃#∗∃∋ ∗&(%& &∃6∋
)∃∃∋ %& ∋∃6∋∗∗∃#∀## &%(,&∃#∃
∋∗/()#∋7∃#&%# ∋ ∃0)∃
∀#∃ ∗& # )# &%& #) /∋ +
0) + #)#)∃∋ ∋)) ∃& ∋∗)/ +#
&(∋&&%∗% ∀#∗∃)%&∗ #
∃∃&∗∃∋∗)&%&∋)#&∃#&(#∗
)##∗! 8&%# ∗)∗ #∃ ∗ ∋ #)#)∋∃) #+
%&+)∋+∃/∋#+#&∃∋∗
∃#∋#9∃90)
∀# %& + % ∋ ∗∋ (%) ∀ ∋ ∗∃& # ∗∗%
:;∗∗& !:;∗ ∋∃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∃&&&()+(∋ϑ)∃
!!!
∃&&∃(∗+∗
∋/)∃#&()#∋#∃&&/#)#/∃&&&/
∃
! ∃),∋
!!
∀# )+%#+&∋∃&&∀#+##%,/
∗%/#−.∃&&∋∃()∋∀#+∋∗∃,∃∋ ∋)
∃&&/#−.∃&&∋∃()∋∀#)#∗%+#
#% ∃#∃&& &∋ , ∗%/ #% +)∋ ) #
∃&&∋/+##%+&)&/)∃#+##+(%+#&
∗∃,∃∃#∃&&+&∋/#%+)∋)#∃&&∋
:∃)#∃,/ ∋∋ ∋)∃# ∃∃,/
∗(∋ϑ)#+∋∋∗%∋)∃#&45∃&∗)∋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 12.23
∃ ∀#+∀++ #%
&∋!4
)0 12.23
∃ ∀#+∀++ #%
)&∋!4
∋+(∃ ∃∃& #(∃& (#∋ ∗∃∗&&∃%
∃∃)%∃)##∗&Λ#&∗#&∗ϑ∃/)∃#
#)/#)#,∋∋ ∃%
∃∋∋#)∋(∃) % ∗&%∋)∗
Λ# ∃&& ∗)#∋ ∗%/ #∃ ∋ # &∃#+# #∃&& +
∗)#∋)∋#& ,∋Θ#∗)#∃&&∗%∋
& #∃&& ∃)% ∃&&∋ # ∗%/ / ∃&&& ∗ ∗
∗#&∗)#∋#&∃&&∋∃#∃(%+∗∗+
∃∋+#)# +∃∃ (∀# &,∋ )
#∋& 4∃5 ∗%/∋ ∋ #∃) ∋+# #∗∃)
∃#+ +(% #)# ∀# (∃) # ∋()∋ ) /)∃#
+)∋&
∀# &∗+# # ∋ ∃∃% )∃# #+ ∃&& #)
;
&+5∃+#−∀#%
2∋∗)∃++Η + 3/)
!Ι
&∋!4
)6+∃∀+#+%
)&1+7−(
Θ##& !Φ/∋ !%#))/ #)##∃∋+
∋∋∋)Μ∗%!#∃/#∋ ∋)#∃#∃∃%
∋# &∋9 % #) %∗∗#∃9 ∋&#
&∋∃+%(∋)∗∃∃)∃%
∀# ∃&&,∋# # &∋ & ∋∋ #∗ # ∃&&∋# ∃#
∗%
&&/ #)& &#∃&∃## ∃&&
(# & ∋ )& ∗∗% 4# &∃# # )# ∋
∃&&(#%∃#6∋+#(&)∃Θ∀=5##%+## #
& )/ )& + ( # & :∃) ∗∃#∃)∋ (
∗% &(#%∗)∋ #∗%#∋7∃(+#
+ )∃)∋(%#&#∃∋ %
# &∋ # ∃ (∋ & )>∋∃/ # # −∃&&
&. ,∋ #)#% &+#∃# # ∃&&+# ( ∃∋+# #
∃&&∃(∋#,∋/∃∋∋∋∃∋∗∃∃# ∋∃∗#
∃#/∋ # &# + ()) +# ∃∋ ∋/ #
∃)∋# ∃&&&∃ ∃∋∃)& (∃)∋&%∗%
%#∃∋
∀# ∃ +# ∃ ( ∃)∋∋ # ∃&&&/ ∋ &%∃)∋
∗)∗∋∃∗%#+#∗)##∗&#)∋(∋##)/
&∃∗%#&# (∗)#∃&&&∃∋∋#
!%/()#)&()##∗+#∃#&%&%
∗.###&)∋∃∗%#+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;;!!; +;!#
∀∀(+?
+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 12.∃ ∀#+%
&1+Ε+(
Φ5∗7Γ !+!
) !+!
+
+!#
∋+((.0 12.∃ ∀#+%
∋+((.&−∋#1∃−∀−#+%
∀#∃&&&∋∃##∃#+&∋(%)#−∃#∃∗∃#./+#∃#
)∋ (%# ) ∋ ∗ ,∋ ∃∋ #∋Μ ∋# ∃ %∃
∃
∀#∗∃#∃,&#&,#% ∃## ∋∋&∗∃
∗)∗ &∃∋ −∃. ()+#∃# # 7∃ #)∃% #∃∋
((;+;Η;−+!#;+;Η;−+!#
+:##
(((;+;Η;−+!#
444;+;Η;−+!#
∀∀(
Ι)ϑ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 12.(((?+
−+=!==−>+=−Χ−+−?Α
>0 12.(((?−
−+=!=+!>−?Α
Π>∗+,−(((?
Π>∗+,−(((?Ι;Χ
7)ϑ7ΚΛ=0Μϑ)=Κ∋Χ;
Π>∗+,−(((?
Π>∗+,−(((?Ι+
−+=!=+>?>?
>0 12.(((?Ι+
−+=!=+!>?∆Β>?
>0 12.(((?Ι+
−+=!==−>−?>∆>−?>−?
>0 12.(((?Ι+
−+=!==−>−?>∆>−?>−?
Π>∗+,−(((?Ι+
Π>∗+,−(((?
Π>∗+,−(((?Ι+
;ΧΝ>==Ο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
!%!122
1!∋,!,∀#∋
2∋∗)∃++Η + 3/)
2∋∗)∃++Η + 3/)
∋
∀#∗∗+∗)(#∋#2∋∗)∃++
Η +/3)&/)4∃&(!Φ5%∗∗∋
#∗+++
∀#∃#)∋(∃∋+
≅&/&ϑ∋)#/#4!Φ5ΜΜ/
+&!∃3Σ4Σ5/∗∗9
!
∗%#Τ!Φ&ϑ≅&∋#)#
∀#∃∃∋)∋ &&()Ι>:Γ (
#∗∃ ∃&&∃(%Ι