Lisping Copyleft: A Close Reading of the Lisp LGPL
Author | Eli Greenbaum |
Position | Attorney, Yigal Arnon & Co. Jerusalem |
Pages | 15-29 |
! ∀
#∃% &%∋∋()∗+
&%∋∋()∗+∃% &
∃∃&# ∋
&%∋∋(∋,&
)∗+−∋∋∃&.
∃∃ ∃∃%& %&
∃ &% ∃ ∋
− ∋∃& .
∋&&∋∋
∋/ . ∋ ,& ∃
∋∃
.0 ∃∋01 2& ∋2. 0
∋−∋ 0 !0∋∃000
#∃% &%∋∋()∗+ &%∋∋
( )∗+ ∃ % & ∃∃ & # ∋
)∋∃∗−)3∗ ) ∗− & ∃∃ & .∋ ∃
% & ∋∃2∃ −∋
/ ∋& ! & %4∋5 ∃∃ &6
78 ∋. 3 . ∋/9 # ∋
&%∋ ∋ (∋,& ) ∗+−
∋∋∃ &. ∃∃ ∃ ∃
#∋ ∃%! 6&∋− ∋−& .
∋ ∋! 6! 6
6 ∋ −! & %4∋ &1 /∃−
)∋∗∋∋&∋&%∋∋%%
# 1 2. 1& ∃% 3. ∃∃
&!#& −#:!−...& ∋54!∃(
)121; ∃ ∋ && . 3 . 3. ∃∃
&−∋&:!∗+
1 2& ∋2. .!. &
=
%& %& ∃ ∃ ∋>
∃∃ & & .! ?≅% :
Α∋ Α∋&&#∋#&. ∃∃.
Α∋ ; &&5∋∃&∋∃∋∋−
∋ 1. −. ∃∃ ∋
. ∋∃ %& /∋&%− . !
%& ∋∃& .∋ ∋∋
∋ ∋∋−& &∋
?≅ . 7! −∃! 4∃.
& ∋ ∋ − ∋& ! & ∋ ∋∃∃ ∋
∃∃&
& ∋ ∃ ,& . 7! − ∋ &
! % ∃ )∃∋ &∗ ∋%∋ ∋& &
& &∋ Β . − /∃− & ∋
∋∃ /∋&% &∋− ∃ . &
. ,& %& . ∋ #
/ Χ ∋∃ 7 8 ∋ 4&−
&%78∋ &.%∃∋
# ∋ ∋ ∋ ∋− ∋
∃& . − ∋∃− ∋&∃ ∋
∋/ − ∋ ∃ & .
&∋∋ ∋/ . − ∃3
−∃! . ∃ ,& ∃ ∋&
∆ ∋∋&− ∋ % ∋&∃ & % .
/ %=
# .& % 1 Ε− ∋() ∗+− ∋∃∃ ∋ ! %
1 Ε ∋ ! ) ∃∃ ∗− !
∋∃∃ ∋ ∃∃ )72 ∃∃ ∗ ∀ # 72 ∃∃
> ∃. ∋ .− 78∋ %. ∋ 2∃; %& Φ∃∋−
/5 ∃. 2∃ %&Φ∃∋& Φ∃∋ &%∋∋−&
.∋ . ! &%∋∋ 1 78∋− 6
Α−%(66+
∋∋ ∆∋3 &∋3− & & & ∋ 4∋
...%∋3&∋3. ∋∃ ∋ 4∋ ∃& &− &>>?Γ
& ∋ 4∋ 1 5&5 ∃ ∋∃∃ ∋ . 4∋ −
...∋ ∋∃%5∋∃
= ∃− &∃% ∋ !% ∋∋ ∃∃
& 1 /∃− Β %& & ∃! ∋ ∃ ∆2
...∋/Η∋5∋ %& & ∃! ∋
∋ 6∋∃#∋ ∋!∋∋ !
& ∋∋ & &∃% ∋ ∋ !/ ∋&
∃∃&1 /∃− 7#Α &%∋∋! .∋
% ) ∋∗& ∃∃ & % ∋ ∋∃55
,−1∋ ∃∃&∋)∋∋ &∋∋
& ∋∋ &∗2...∋ /9Ιϑ∋
.∋%∋ ∋
∀ ∃∃ ∋∃∃ ∋&Κ 3 & ∋∃∃ ∋&2
∆3∃∃ − .∋∋ & ∆25∋ ∋&∋ &%∋ ∃(
1 2& ∋2. .!. &
∀
. ! ?≅ ∃ & ! ∋
&≅ 1 Ε % %& ∃∃ ?≅=− &
61 Ε. ∋∃∃∃& ∋!∃ . −
∋ &∃% & ∋ . 4∋ & ∃ ?
8 &− ∋∃∃
&∋− ! ∋ . ∋∃∋ − ∋
. ∃.%∋∃ .
# ∋&∃− ∋ ! 5 − % ∃
% ) ∃%∗ − ∃
∋ % ∋∃% %& . 5∋ % − ,&
& ∋ ∋ ∋% ∋# ∋
)∋∗ ,& ∃ −.∋ ,& . 3 )% ∗ 5
∋. 3 % %& & ∃ ∋ ∃ #
.3 ∋ ! .
−)& ∃∃ ∃.
. ∗ − &∋− ∃)∋ ∋∗ ∋
∋/
# ∃ ∋ & ∋
∃ ! −!&!%
∋/ Φ!− ! ! ∃ % &
∋1 /∃− ! ) ∋ ∃∋& ∃
%4∋ % −%& ∃ ∋ ∋ Λ. 3
% % ; ∋∗6 ∋ − / ! . 3
∋ % & % ∋ !! . 3 % &
∋ .− ). 3 % % ∗ & ∗ # ∋&
∃ ∋ ∋/ ! 8 &− /
∃! ∃3&∃∋ ∃
∋& ∃ ! ∃ ! 1 /∃−
! )ΜΝ ∃ & ∋ ∋ % − %&
∃&% .&∋ % . &.& ∋ ∗>
# ∃ ∋ & ;% ∃ ∋ . 3 ∋
,& ∋&− 2∋ 6 / ! &
% . ∃ ∋ % −.& ,& ∃ &
∋ & .& ∃∋ − ∋ %
...%∋ ∃+− 78 ∃∃ − !% & (
!& 4∋∋+−78−!%& (2...∋ +
≅ 2 ... ∃∋∃1Β6
? 2& ∋ Ε∋∃
#∋∋ ∃%78∋∃% % &∋&
−.∋%. ∃%/∋
.%−1 Ε !∃.∃ ∃%&&∋ −∋&∃
).∋∗.∋3∋& ∃∋ ∃∃&∋
2& ∋ Ε∋∃
6 2∋∋
1 /∃−)% ∗ !). 3%% ∗∋&). 3
∋% 2∃ −∋ !)3Λ. 3&
% ;.% ∋ Ο !!% (%∋&∋ % +∗
> 2 ∋&
−∋ ∃!∋%1 2. 1& ∃∃. 2
...& 5.∃#!∋∃ ∋∋ ∃%
&%% !.&∋3.2∋6(+Φ!−
∋∋ . &∋. 3. %& −%&
1 2& ∋2. .!. &
≅
,& ∃ !
#/∃ ∃ ∋& ∋∋∋ ! .
78∋− ∋.∋ ∋ !
− %& &% ∃ !
∋8 &− ,&/∋ . ∋∋ !
&% ) ∗ ∋/ ∋ ∋
∃ 1& ∃ − . / ∃! ∃3
∋ ∋ ∋ ∋−∋∃3∋& ∋
2! ! ∃ %∃! % ∃ ∋ !
1 /∃− ∋ ∋!
−&∋ )% ∗−)&∋∗ )∗−∃3 ∃
∃ ∃%∋/#∋ &
!! ∀ ∀!# #∀# ∃%
∀ ∀ % ! ! !# ∀ !
&!!#% ∀! ∀!!# ∋% %
!%( # &!!# ∀ % ! )#
∗! +% ∋ ) ∀ ∀! ∋ # % ∋
!# ##%# # #∀! #
% !# % # ! ∀ #∀ !
!!# % ∀ &!# % #
% % ! ! ∋) # %
!
# ! ∃ / && ∋
∃ ∃ ∃−.! − ! ∋& ∋ ∋
∋∋∋!.∋.&∃∃ ∋
1 /∃− ∋ ∋ ! )ΜΝ Λ% ;
∋∋ &∋− ∃&∗=# & ∃
% &% ∃∋ )% ∗( ∋+∀ −.∋
! % ∃) ∋∋ . &∋ %
∋!3 . ∋ ∃ (.∋ & ∃ &∋ +
!&&% %& ∋& ; ∃
∃− . ∃! %& − ,&
& ∃3) ∗& ∃% ∋ −;
,& ∃ ∃&%& ,& ∃
= ) ∃&∗−∋∋ −)%4∋∋ ∃∋%3/∋&%∗
∆ − ∃ &&∋− ,& ) &∋
∋∗ 3∋. &Φ#Φ2Φ∆Φ−#ΑΑ72−>=∀
(6+#/∋ ∃& ) &∋ ∋∗&,&1
/∃−):!7! ∋∗%:!
% ∋. &# Π2 ∋. &% #
/∃&.∋% &∋∃∋
∀ #∋)% ∗(∋+)% ∗(∋+# ∃ !
∋∋ . % −. ∋∋. 3∋& #
∃ ∋. % ∋ ∋&∃−−!
∃ ∋! −)% ∗∃∃)∋! . 3! %
∋∗
1 2& ∋2. .!. &
?
∃/∋&%∗∃ & %! .
∋∃ ∋/ 1 − ∃
∋∃ − &∋− ∃ ! %
% )3Ο ∃ /∋&%∗2∋− %
∃∋& ∃&≅
&∋ . ∋ )% ∗ ∋ ∋
∋1 −;∋)% ∗
% ∋ ∋− ∋ ! / !
∋∃% ). % ∃∗ . −∋
∋ . 3 ∃ )% ∗ −
)% ∗ (∋+ ∋ ) . %
. 3.∋% %&& ∃∗2∋−!&%&∋&
.& ; )% ∗ . ! ∋∋ .& /∋&
∃ &∋ &∋& 1 /∃− &3 . )&∋∗
.& % /∋& ) ∃&∗− ∋ % ∃
. ∃& !!&∋
#∋ ∋&.! ∋ ∋ ∃
∋/ 1 − ∋&∃ ! )&∋∗ & % & ∋&
)∃∗ )&∃ &∋∗ # . ∃ /
∃∃ & % / (. ∃ ∋∃ ∋+ 1 −
− )∃∗ ∋∋ ∃∃ % ∋ − .
) ∋ &∋∗0? ∋− ( . ∃∃
&+ & ∋ )&∃ &∋∗− . ∋ &∋
.& ∋& ! &∋ . ∃ 6 ∃ ∃− .! −
∋& . ∋ ∋
∃ ∋& ∋∋! ∃ ∋∃ . )&∋∗
&& %/∋ &∋(&∋ ∃&∃&∋+
∋&∋!& ∋∋/
# /∋& ∃ ∋/−
! ) Λ; ∃ ∋& &∋& & ∃
∋∗ # ! ∃ % ∃ % ∋
(&∋ )∋∗+ ∃ %4∋5 & − %
∃)∗ ) ∃∗ ) &∋&
∋ ∃∗ % ∋ . 6 7! − . .
)&∋∗− 3 ∃ )∗ .& % . !
∋∋.&/∋& ∃ &∋& ∋/
&∃− ∃ ∋ ∃ )% ∗ %
≅ %% ∃)&∋∗ ∋&)∃∋ ∗.
∃#%/ ∋3.%/−&∋−∋
)∃∋ ∗ ∃&∋ )∃∋ ∗ & ∋&%.2∋) !∀
? %4∋ ∃∃&(&∋:!+ ! )∃∗:!−.! −∃
∋∋ ∋−.∃ &∋
) ∋&∋∗#∃∋∋∋∋ %∋ ∋
2Φ∆Φ− =−?
6 −)&∃∗&∋ ∋ )∃%∗&∋∃%&∋ &&−∃
− ∋ &∋∋&∋! %! ∃.∋. ∋
−2Φ∆Φ− =−=65=)8∃∗&∋ & % )∃∋∗&&∋
&%−:!∋ −
6 1 /∃−2∋6(+ )%∗−.∋∃∃. )∗&
∃) ∃∗ −2∋ ) &∋& &∗
1 2& ∋2. .!. &
6
∋ ∋ 78 ∋ − ∃ ∋∃
% & ∋ ∋∋∋!
. ∋ & ∋
∋∋ .
#∃∃#%&
.%!− ∋ ∃ ∋ ∃
# − .! − ∃ & ! ∋ !
∋ − . %.− %
% & 5∃ & 8 &− ∋
∃! ∋&∋− ∋ . !
∋%∋∋∋ %∋ ∋.
#78∋ %& ∋ .∋∋) !!. 3∗ !
&− !! . 3 ∋ %& 5/ ∋ . 3 8
∋ .−∃ &∋ %&) !!. 3∗ ∋
. 3.& ∋# 78∋ ! )∋∗
∋∃ %& ∋ . 3− ∋ !!
. 3 . 3 % %& & & ∋ ∋ ∃ 66#
%& ,& ∃ 78 ∋ − − 78 ∋
∃ ∋. 3 ) !!. 3∗6
# − .! − ∃ 3 ∋ #
∋ . !& /∃ ∋ ∋ − .
& ! ∃∃! ∋#
&
#% ∋! %&% ∃∋ ∃
&∋ ∋ % −
Φ ∋ . 3 % % ∃
∋&∋% −∃ 7#∋ . 3%
% % ∋ &%∋− &%∋ 7#∋ . 3%
% % ∃/∋ ∋ &∋
!% 5 ∃& − &∋∋ % ∃ %
Φ∋ . 3 % % # & % .∋∃
&.&&&∋
# /∃ !)ΜΝ &∋ ∋
% − Φ∋ . 3%
% ∗ . −5∋. 3∋∃&∋−
∋ . 3 ∃ &∋ !
66 /1 2. 1&)∃! ∀ ∋∀%! %#,
%∋###∋%!%%%%#∀#
#% −!# ##∀∀%#!%#∗2
)1 2. 1&−Κ9∗−!%...& ∋∋∃
6 1 /∃−#1 2. 1&∋ ). 3% ∃∗
%∃ & ∋ !!. 3& ∋ .2
Ε# ∃−1 2. 1&−
! Ε56∃Κ ∋& !78∋ ∋
%& − ∃ ∋. 3 !!. 3& ∋ .−%&%4∋
∃&∋∋∃∃ 2ΚΦ7Φ2Φ7−Φ728ΦΦ727?56≅(6>+
1 2& ∋2. .!. &
6
Θ .! − &∋ . % ∋ ). 3 %
% ∗6>∋&.∋ /&∋&∋
!! . 3& ∋ . ∋& − / ∋
∃ ∃ − ∋&% !!
#− .! −∋ &∋ % ). 3%
% ∗− . ∋ ∃ ∃ #
! % & ∋ .%&− . %. %.−
∋& &∋ ∋. 3
& ! % ∋&
# ! )ΜΝ % ∃ /∋∋ &∋
!%5 ∃&−&∋∋
% ∃ % Φ ∋ . 3 % % ∗ −
.& ∋) ∃&∗. ∃∃ & 6#∋&
!&∋∋ ∃&.%∃ ). 3% % ∗Θ
. − !! . 3 % .∋ ∃ % %& & ∃
6= # ! . ! . 1 −&%4∋ ∋
∋− ∋ . ∃& % 3 ∋ . 3−
.& ,& &∋ ∃& ∃! % ∋ & 6∀ #
!− − ! ∋ ∃&− !&
∋ ∋∋. 3−∃&%∋& ∃
2∋− ∃ ∋ ∃&/ ∋∃
3. % −%& !∃ ∃ ∋ &∋
3∃& . ∋&3 ∋∃ .% # −
! / ∋ ∋&∋ ) ∗
) !% 5 ∃& ∗ # ,&! /
∋ ∋∃&. ∋& ∃∃&
Κ ;∃! ! ,& ∃ 9 #
∋& & !−
)ΜΝ & % . ∋∃ & .& & &∋
∗ . − ! %∋ ∋
− ∃! % & ∃ ∋ . 3
)∋& ∋∃ &∗ 6≅ # ∋ !
∋&%!# ! ∋ ∃& &%4∋
& ∋ − ! & .& % ∋ ) !!
. 3∗& ∋ ∋&∃∋
6> /∃&∋ ∃& ∃∃ −&
∋∃∃%∋&&∋,&∋&∋ ∋ 1 /∃−
∃∃≅6∋&∃) ∃ 5&∋% ∃∋
Β.! − ∃5&∋Ο∃.%∗
... Ε∋∃& ∋&∃∀∋∋3∃1 ∋&∃ %∃∋
. &∋−2Φ∆Φ− =−6∀>5∀
6
6= ,&/ %. !!5∋. 3
∃&% %&& ∃ ∃ % %&& ∃#
∋
6∀ &% ∃∃≅6∋&∃ &∋ )3∗
& ∋... Ε∋∃& ∋&∃∀∋ 5&∋∃Η5 5#
∋ ∃ ∋.∋∋&∃∃ &∃ 3
6≅ #∋ .% &∋&
.∋&)∋∃ &∗%%! ,& & ∋∋
∃% %&..∃% %%&
1 2& ∋2. .!. &
66
Α! %∋3 ! − ∋ ∋&
% ∃ & &∋# ∋& !
)ΜΝ % ∋ &%∋− &%∋ ∋ . 3 %
% ∗#,& . &%∋ ∋ !! . 3 %
∋/ 1 /∃− 1Ρ− 1 2. 1& 3
&%∋ ∋ !! . 3− .& / 6?
∋∃∃ ! 3 # ! &%∋ . %
∋ !! . 3− ∃ %% .
&%∋∋&% .&∋ % ∃
&%∋ .& . &∋ ∋−
3&%∋&%∋ ). 3%% ∗
# ∋ ∋& 3 ∃ ∋− )ΜΝ ∃
∋&∋% −∃ 7#∋ . 3%
% ∗ % − ∃∃ − )∃∗ ! & ∃ ∃
% ∋ ∋ &∋ ! ∋ ∋&∃∋ 1 /∃− ∋
&∋∃ .−.&∋& !∃∃
&∋ # ∋∋ ∃ ∋ &∋− .! − !
&∋ ∋& . ! 6#,&.
∃ ∋&∋∋ !!. 3 ,&− %
∋ ∋ Β.! −& % ∋
3. ∃ ∋ &∋∋ !!. 3− %&
3. ∃∋. ! &∋ % Α∃
% ∃! ∋ &∋ .& ∋ &∋ ∋
&∋ &∋− ∋∋ − ∃ ∋
. 3%%
#∋ . . ,& . ∋& ). 3%
% −∗ 3 ! ∋ ∋ Κ
∋ ∋ . % & ) !! . 3∗ &
∋ .− % 3 & &∋ ∋
∃ ∃∃ − ! ! ,& ∃
%
∋! & Θ % & ∋ % %
&Θ ∋ ∃ ∋ &∋. ∃∋ &5∃
! ∃ ∃ ∃ % !∋ ∃ % ∋∃ ∃
∃ &5∃! ∃− &5∃! ∃ . ∋∃
6? 2...& ∋5,∃Η()ΜΝ&%∋∋ !!. 3
# − ∃∋. ∃. &∋ &%∋Χ∋∗+#121
3∃ ∋)#:!∗−. )ΜΝ ∋∋ !!. 3
∃. 3∗2...& ∋54!∃
/ ,&&%∋−
− !!Κ 3−.....&.. !!∃( &
1 2. 1& &%∋+
8 &−∋&∋ . &%∋.%&%4∋%∃%
. . 33.∋. 3∋ − ∋ )
&%∋∋% ∃∃& ∋ !%% ∗&∋−
& % ∋
. 33.∋% &∋−∃&% %&& ∃) ∋∃∋
ΜΟΝ ! %&&∋∃∋∗
6 #/∃3 ∃2Φ∆Φ− =−∋ =
1 2& ∋2. .!. &
6
&∋ ∃ # &5∃! ∃ ∃∋. ∃
%&83 ∃∃ &−∃∃
%∋∃& ∋∋/∋&% − ∃∃% %&
&5∃ ! ∃ . )∃ ∗−.∋ !
∃ !− ∃ ∃ % %& &5∃
! ∃ . ∋∃ 12 > . − %&
∃ ,& %& . &5∃ ! ∃ .
/∋&
# & ∋ ∋ %& %&
∋∋∋ − ∋ ,&
&∃ ∋ ,& ∃ % 78 ∋ # &
%% ! 3 !
2∋ & %. ∋ % % ∃∋ 3
&∃% ∋3%& ∃2∋ ∃
&/∋&%). 3&% ∗2∋
&) !!% ∗−.∋ ∋! %
8 &− ! ∋∋& ∋& ; ,& ∃2∋
Θ . ∋ %! Θ
&%. . 3 ∋ ∃∋ 3 5∋ %
−2∋∋ ∋ . 3.∋& 5∋% ∋
& ∋ ∋ ∋&∃∋ %∋∃ !! . 3 % ∋∋ 2∋ −
. 3∃%∋∃ !!. 3 % ! && ∋∋ . 3
∋ % ∋ 3 ∋∃ . 3 . % .
∋& % %∋ 3 ∋∃. 3− 3
∋∃. 3.% !!. 3% − !. 3
∃%∋∃ !!. 3 % − & %.∋
∃∋3. 3−2∋=/ ∋∃. 3∃
% ∋ ∃∋ 3 . % − ! %
%&%33. 3=
#/∋ !&(∋ ∋+
∋/
! ∀∀ !%! ∋%!% ) %
∗! # ∋ #! % ∀ %
# % ∃∃ % &5∃! ∃− & ∋∋ ∋∃
22Φ∆Φ− =−∀−>∀
> ∃ 12−.∋ )5∗∋∃
&5∃! ∃∋ & ∃ ∋ ∃12∋%∃∃
∃%∋∃%%. ∃∃2Φ∆Φ− =−>∀−≅
−∋ ∋∃∃ ! %.∋∃∋3 ∃
∋∋)Κ 3 ∃∋∋ ∃2. ∋
(33+∗−.∋!%... &%∋3∋&∃
= 2∋=(+ &. ). 3&% ∗ %&/∋&%
3.% − ,& & ∋ %4∋∋). 3&% ∗% !
.3. 3#&∋,& ∋3. 3.%
2∋=(%+ &. ). 3&% ∗3% &
) % ∃∋∃∗−.∋&∋% &5∃#&∋,&
∃∋3. 3.% . −%∋∃∋3 ! %
2∋=# ∃%/ ∃.)Μ.Ν ∃3
.% −. ∋ & % −∋∃%.3∋∃%
. 3− !! % ∗
1 2& ∋2. .!. &
6>
%.%∗!%∀)∋)%
% ∋% % !## ∋) % %
#%∀/0∃!#%.
∆∋&∋ −∋=∋%%
# ! ! %∃1 −∃ %
3)% /∋&% %&∃∗ ! ∃∃
∋ ∋ ∋∃∃ ∋∋ % ∋
/∋&% ∋ Θ ∋ ∋ &5∃
! ∃−∃−)∋∗.∋ ./∋& ∃∀
∋ ∋− .! − !% ∃ %& ∋
∋∃∃ ∋ ∃∃ ! %&
. 3− /∃− ! % ! ∋ ∃∋
% ≅ %& ∃1
/∃− & . %& /∋&% ∃ %& & ∋
∋ ∋∃12−∋%&%&
&5∃ ∃? − ∋∃ 12 ∃ ∃∃ % %&
∋ ∋ /∋& &5∃ ! ∃> 1
∃∃ % ! ∃∃ ∃ & ∃−
.∋ ∋ % % & ∃ ∃> . −
∃∃ .! %&∃ %
∃ ,& . % ∃ % %&− &
,& %4∋!∃%∋−∋
& ∃ !∋ %
∃ ∋ % % %& /∋&% ( &∃ − .
%!− ∋∃∋∋& +− &∋/∋&% & %&%4∋
%2∋= −∋ %.%
! ∃#.3 ∋ % ,&
3∋ % %&) ∃ . ∃∋ 3
% −∗ & & ∃ ). ∃∋ . 3Ο !
%&&∋∃∋∗8 −.! −!.3∋%
.&!
. − & − ∋ ! ∋
. ∃! ∋>6 − ∋ % ∃ %
∀ 2... Ε∋∃& ∋&∃≅6∋ &∃∃
≅ .... 3∋∃∋&∃.=6∃Η5≅=≅? ∃ !
∃ &∋ ∃∃∃!∃Φ! ∃
...∋ ∃∋∃ ∃ ∃−∀
? 1#( !)ΜΝ%∋&& & ∋∋∃! ∋% %&.&
∋−. %&∋ ∋ ∋&∃ .&. %&∋
∃ ∋ %&& & ∋( ∋∃! & & ∋+−.
.∋∋ ∋∗
> & −.! −∋∃∃ ∋∋ %& &5∃! ∃
.∋∃ ∋ 1221 Ε;∋ ! & &∃! ∃−
2 ∋& 5 &∃! ∃−∀/∋∋∃>6
5>
> 2...%∋ ∃&/∃Η2!55 5∃...∋ ∃∃Η∃
>6 #∃..! %1 /∃−2∋=
,& !∋% ∋&. 3% ∋! %
2∋= ,& ∋ ∋∆% !2∋=
∋% ∃−∃∃ ,& ∃−/
∋% ∃ ∋! % −∃∃
1 2& ∋2. .!. &
6
&∃∃ ∋∋)ΜΝ.! −∋∋.∋ %&
/∋&%− &∃& ! − ∋∋ ∋. ∃ ∋ −
& ∋∋% ( & !! +∋ /∋&%∗
. −& ∋;∋% ∃! & ∋
∋% >
& % ∃! & ∋ ∋
∋∃∃ ∋∋ !& 5 ∃ 1 /∃−
∋ ∋& ∋ ∃ % !% & ∃! ∋− ∋∃∃ ∋
∋ ∃ ! % ∋ & ∃ ∋
− % ! . ∃∃ %
∃∃>>&∋−!& ∋& ∋∃%∋& & ∋
∃− ∋∃∃ ∋∋ ∋∋ &5∃ ! ∃ ∃ % ,& &
∋ &∋− !∃ & ∋. ∃ ,&
% ∋ ∋% ∋& ∃ . ∃ .∋
. !>
!
# ∋ ∋& . ∋! & .∋ ∋ %
1 −∋)∃∋ ∗Θ∃. ∋∋ &∋& Θ
& !% ∃ & 2∋− &3 − ∃ !
% ∋ &∋ . &5∃ ∋! ! ∃
/ 7 & / % − % &
∋#∋ !% ! !.
& ∋∋ ∃ & ∋∋
Α∋ ∋!& % − ∃∋ ∃.∋ 3
∋ &−∃& ∋− & ∋ /∋& &∃
∋ ∋ # & &∋ ∃&− ∃∋ . & /
/&∋ .∋ &∋∋∋ ∋∃∋
∃&∋1&∋3 &∃− &∋ &∃ !& .
&∋ /∋& ∋ − &∃∃∋ !&. ∃∋
/∋& − ∃∋ & ∋∋ &!& &∃−
&∃ !&. & −∃∋ 5∃&∋/∋&∃∋
∃ ∃∋ . ∃∋ /& ∋55 ∋ ∃∋∃−
∃∋ ! ∃ ∃∋∃ ∋ !
&∋& ∋>=
Β.&% ∋&∃∋ 9 − ∋
.∃∋ &% &∋Κ& ∃&
,& ∃ ! ∃ ,& %)#!∗∋&
> ∃%&−∃% ,& ∃∋& ∋∋
% )& !! ∗∋&∋ . ,& ∃∋ !!. 3
% −∋ !& !. 33% ∋&
!!. 3% ∋! %# ,& ∃∋ !!. 3
∋& %∋∋. !− ,& ∃∋∃∋
% ∃!− ∃ & ∃∋%
>> 2Φ∆Φ− =−>=−>∀≅
> #1 2. 1&∋ %∃ %∃.:!% 2& ∋:!∃∃
& ...& 4!5 ∃
>= Α&∋∃ ∋∃/&&∋∃∋ ∋%&2Φ∆Φ− =−
∋∀5≅08ΒΑ−72−∋∀5≅(??+
1 2& ∋2. .!. &
6=
∃∋ % % !!. 3 % ∃
& &∋ % 9Κ∃ ∋ ∋&&∋
∋∋ . − ! )&∋∗ ∃ ) ∗
. ∋∃∃& >∀ − ∋ % ∃∋ ∃
% ∃%∋ / ∃∋ >≅&∋− ∃ . %%
∃ ∋ ∃∋ ∋ /& ∋ ∃∋ − ∃
∃∃%∃ ∋ ∋ ∃ ∋∃∋ ∋ ∋
% ∃∋ Θ ! && ∃ ∋
∋& !!. 3 ∃>?#∃3 ∃ ∃ ∋&− ∃∋
/ ∋∃5∃ &5∃−%& ∃ ∋∃∋ 5
/∃Κ&∋∃∋∋2∋=(%+ −.∋
)&% % ∃∋∃∗ ∃∋∃ & ∋ %
& ;∃) &5∃∗9
. !& ,& ,& & ∋∃/ ∋∋ −
∃ ∋ ,&Β.! −
∋ & 3 ,& !
∋ & & !/ &∋∋
∃∋
∋& − & &∃ ! ∃ ∋! & −
& %% & ∃∃%!∋ ∃
%∋∃ &∋ &5∃ ! ∃# % ∃
∃ % &5∃ ! ∃− & ∋∋ ∋∃ #
&5∃ ! ∃ ∃∋ . ∃ %& ∃
%& &5∃ ! ∃ . ∋∃12
)∃ ∗ ∋∋∃∃− ∃ % % %&
/∋&% ∃
Β.& . &∋ ∃ &5∃ ! ∃9
Κ& . &∋ % ∋ 3 . 9 −
3. ∋ !! % ∋ 3 %. .
∋3(. %&5∃∋ /∋&% &5∃
∃∃ /∋& ∃+ ∃ &∋& ∋ − %
! ∃ ∃∃ %∋ .
% &∋∋ &∋− ∃%% ∃.∋ &
% &∃ ! ∃ & % ∋ )3∗
&∋−&%&%4∋% −%
! ∃ ∃ ) %
∃∋∃∗−.∋ % & ) & ∃ ∋ %
& ;∋∃& ∃∗&∋− ∃ & &∋
>∀ 2ΒΑ− >>≅6()2∋∃∋ ∋%∋ & !&−%∋.
&∋Α∋ ∃∃ ∃%&∋−3 ∃−∋−.∋
∋&∃∋ −)%&5&∋∗∆&& ∋%& ∋∋&∗+01#≅>
()−∃∋ &∋Θ.∋ & / ∗+
>≅ 1 /∃.∃&∋∃∋ /∋ ∃/∃∋ ∃−8ΒΑ− >=
?∀5?≅
>? # ∃%)ΜΝ∋ & ∃&% ∋−&&
∃&∋ ∃∋! ∋∋&. 3%% (&
% . +Κ &.% . ∃
&% ∗
2 Σ− −!%...∋!Ε∋∃%3 & /
. % &∋∃∃
#1 2. 1&3 ∋&∋ ∋)
1 2& ∋2. .!. &
6∀
&∃ ! ∃ & % &%4∋ ∃ % ∃ &
) % ∃∋∃∗
. ,& ∃∋ − ∋ ∃ & ! .
,& % &5∃ ! ∃ − & &
! & ,&
∋
∋ &∃ 78∋−! % .
∋∋ ∃∃ &− ∃ % ∋ ∃∃
&−∃3 ∋ ∋∋−&∋ − 3
∋∃−.∋ ∋% ∃∃& & Φ!
− ∋ . ∋ ∋∃ % 78∋
&∋ − .& % % % ∃
.& ∋ ∋ % # − ∋& −
∋∃ ! / & Θ ∋&− /
& %∃∋ &∃! ∃
∋ ∋&∃− ∋∋ ! . %
∃ % . %& ∃ ∋∋ %∋3 & &∋− ∃
/−∋∃ 78∋
∋∋ ∃∃&# ∋∋∋ ∃ ∋ !
∋! ∋∋∋/∃ ! 4 5 ! ∋& 6
− ∋ &∋∋∋ / ∋& ∋ /
. ∋ ∋& ∃ % & &∋
∋. ∋−∋& .& ∋∋
%∋3 & . ∋ / /∋
. ∋ Θ ∋ ∋∋ ∋∋ Θ
∃ % && 3 ∋ ∃ . ∋ & ∋&
∃& ∋∋ ! .∃ 5∋∋ −
& / % ! & ∋∋
∋∋∋/∆∋ ∋∃%4∋! ∃3 7! −
!∋ ∋ ∃ . ∋ ∋! &
& ∋.
3∋.% 3∃∋.∋∋% ∗
∃∋%∋ !!. 3∋21Ρ#∃
. ,& ∋1 −∃ % ∋3
3∃∋.∋∋% Θ%&&% &5
∃! ∃
6 22Φ7− 6−656>(2∋6(+)∃ %∃Ε∋∋
%%%#&% 5& . ∋∗+
1 2& ∋2. .!. &
6≅
1 !
! ∋#!
1 2& ∋2. .!. &
6?
1 2& ∋2. .!. &
# .&% 1 2& ∋2. .
!.−&∃−&(ΑΒ6+
...
# ∋&%∋.
%&∃−Φ(6+ΧΧ−
1(#0 !∀∋∋2∋−(+−Θ6?
!∀
Τ6Φ %&∃
# ∋∋& !∃∃8Σ(ΦΚ+6
∋∋− !!. 3− %&−5∆Υ57!%
∋ !∋∃∃ ∋%56&3
∋/∋−& / ∃&
∋&∃&− ! & (.∋∃
∋& %& + 3#
−∃&%∋&.∋