!∀∀#∃ %& ∋∀
()∗)+∃,∃
,−))∃).−∃)
/−∃) (0),−∃
1)%2−.)3)
))2%))/ (
)∗22)∃2)
,42%.
)∃).). ())22
)2∃)+4,,2)/)∃
,,−2)∃),,∃∃)∃
.562)∃.54)+
()∗)+∃%∀∃))78,∃
,− ) )∃) . − ∃ ) /− ∃
) )+4 .) ∃ 3 )4
−2 ∃− , 9 . 4
:) )), 2, ,4) +2% .
)−2.,∃)−)%).9
( 0),− ∃ 1) %2− . 7 1; .8
)3 )−2.% ,∃4), ,
(∃ ∃∃ ∀∃ ) ∃,−4 )∃
.),,2%)%=∃36−)∃∃)
>.4)∃))%∀∃
62)∃..1%.
+
) ) )4 . 1;. 22 ?) 2,−4
))∃). ) /−∃ ),, 22)∃ )
+ ( )∃22) ∃ 2) ,4
2% . )∃) . ) .
4))%/ ,,22)2∃
) ( ,,2 )/)∃,, −2) ∃
) , , ∃∃) ∃ 4 . 2%, ∃
),∃−,−) +
∃4)+2%
!!
! ! ! !∀ ! #
!! ∀∃∃ %
!∀
! ! & ∃
∋# !
!∃ ! !∃ !(!
! ! ! ∀
∃!(
%2%−−,,∃2% 64
−−). 2%222% %4))≅ ∃
%2%∃ 2,−%∃)−) −
)3 , )4 ) 2− ))∃ 2%
− % 2 2, )/ − ),
,− ∀)42% Α2∃) ,−
)) − ∃ )4 , % 2 .
, − )∃). − ∃ −%4 Α−2
2%) 2 )− :) 2,−
. , )) ∃ , ?) .94
2 ) .− )) −∃ ) =%4
∃, ∃2% − )+ ,, ,
))−∃)4.,:)4))
∀ ∃ − − − ), 2% ∃− ∃ )
%+∃ ) 64 )∃).%, )∃4
:,− ∃ )4 2% )% )) ,−
+ (%)∃4∃Α−24)−,,−
2##... )−#.##)#≅&+∀???)∃)?))?)%)?2−?−),??−?
?)∃?)??%?,%−
∀ ( 2 ∃ 2) ∃. 2 2) ,−−/
))∃∃∃)∃.−∃, 6Α−24
,∃∃2,2∃ )∃ Β)∃#=% 2−
∃+∋4 2 .)=% , 2 Β)∃ ) ∃Β)∃ ,,
2,,=%3Α∃. 6 )∃2)4 6∃.64
%∀()∃14)∀ & &4∃,2%∀ ∃∃ ,#,2∀?∀? 2∃
62)∃..1%.
+
−,−)))∃) )4%∀∃
− %2%.) .2%) ) (%
2%
! ! ∃
! !
! !!
(∃2%. )))−∃ ∃∃
− . 2% ∃ 2 ) &(4
2%%∃ )% ,Α2∃
2%∃4Α2.−%∀∃) !
( ) Α− 2% ∃ ) + , ∃ 2)∃) /− ∃
1;. ) 2%−−∃ ,/−∃1;
. ) 2% ?2 ) ∃ . /− ))
, ∃ ) % ∃∃) ∃ ) + ,%
)), /− . 1; . )
,,,Α2∃22%)+
( 1;. .2 ≅&4 2% ∃−.9∃ ,∃
,%−− ),?2)−2 ∋(1;.
∃∃) ∃ ∃ ) 78 .)4 2 ∃ , −
%2− ∃ ), 4 %. 22% , ∃ )
%2− (1; ./ )4 −, . .
,4)−)∃∃ ), +422Α−
Χ&−,−−∋)−2 ∆(−2) ∃∃,,∃)
),, ,. ∃ ?) 4 ∃ ∃.
)−2)2∃∃,
, ∃ −Ε 2) )) )−−))) ∃
& 6 ∃. 64 %∀ 6 ) ∃ 14 ) + 4 ∃
2##,2%∀ ∃∃ ,#,2??+∋??∋ −
! )∆ ∃%+ ∃ 2% ΦΓ 22 ∃) ) ∃,
222,)− )%∃))−5) 22∃
2), , ∃ ∃∃. −4.) −2− 2) ) 2))
Β 22 % −, ) . , ∃ ∃. , −
) ) 22) ∃ −5 2 # ) ∃ .,
∃., −))−2 )) Η2%
22∃).2),,∃∃∃.−42
Α22%)∃2%)Α∃)
∋ ( 2% ∃∃) ∃ 1; .4 .) %
2##... − ,% #=1#Α#6+∋∀+∆?Ι6∆?&0&+?≅+≅?&Ι≅&∋6∆∋≅& − ( ∃∃)
2∃))−−.
∆ 2##... − ,% #=1##≅∀∆!?0?&!?≅+!∆?0&≅ΙΙ##)%,− 2∃
62)∃..1%.
++
∃ ), , )%, )−2 −9 2− ∃
≅ ( 2) )) 2), ∃ 2−
,4 1; . ) ∃ ∃ ) 22 9.?.
%2∃, Β%4 ,)22)/
Α).9,.) )2Α2,∃, ?
∃),. )∃ ( 2)22% ∃∃)
) 22. 4 2% ∃ ))2 ,
) . , (∃ ∃, ?∃ ), ∃ 4 ∃
22% 4 :) 2− , )2 ∃ −2?−
−4))2 )−2Α∃− (1;. 2%)
,) ,, , ∃ ) ?∃ ) 22 4 )
2))4 )∗ ) )4− 2 , ∃) )4 )
/2−∃222%∃))
( 2∃ 2 ∃ 9 ∃9.?. ) 22
:) ∃) ∃1;. )4/ )
∃∃∃,, ,?%29.?.4.∃∃∃
)∃) 9.?. )Α∃∃.4∃Α−24 2∃
)) ∃ ∃.%2 . ,− − ∃.
) (∃ 2)−−)) )).− %
∃) ∃ 1; . )−2. 2)∃ /−4),
,, ) 4 2 ∃ ) ,
2∃ ))).− −−)22 ∃
).) ().,−:)22%∃
( , ∃ ) −2 1; . %
)− ), −2 ∃ )−−) 9, %− 9,
)/ )/∃ )−2 )%%Α% ,.
,,∃∃)22−∃2
4 %− ,− −, )/ ,− 2) )2
2 )−2 )−2) . 1; . 9,
.
≅ /− ∃2− ∃ − %
) +∃ ))∃ ,4 2− ∃
,∃ ,).9 4 )∃
22−∃ 2 ∃,∃.4). ,
=%3+∋,−−92−Β)∃
)78∃1;.2%.2)?∃)Φ9Γ.?.ϑ,
%,∃− . ∃ ∃ Α)2 ))) . 2%∃
)Ι )7)8 ∃1;.2% 22%∃22))−− ∃4
.∃)∃)/−4/∃∃∃?∃)22
.
)7:8 ∃1; .2% , 2−,,, ,∃) ∃
∃?∃),∃ =,% ∃)22%
)4)∃∃)∗∃−∃),)
6 0, ∃ , ∃ 24
2##... − ,% #=1##&Ι∋≅∀0?≅≅≅?&+?Ι≅?6Ι≅∀∆##−, )
62)∃..1%.
+∀
(/−∃ ))∃). ,)−2−%
1;.2 2))9, Ι∃),
)∃) − 4 −2∗ Α2 2)
2 2−, , ,, ∃∃)∃ 1; . 6
∃− )%4 .%4 % % 222
))−) Ε ∃ Α−24 2 ∃ )−) :∃ ?), , Ε
∃∃) −) ?), ∃ ∃ ∃. 0% 4 ) ∃)
)4 − 9 2 1;.2 ∃ ,
∃∃.
%)∃) −. /−∃ 1; . ∃)4
− % . . 3 /− ) ) ∃
.9 ) 42∃ ∃ ))−
, ∃. ) )4)2 ∃ ∃−
2− 2% ) ) 4 )− ∃. . ?)
2,−− ./)∃.∃.)
)∃) ) −2 ),− ∃ )
) ( / 2% ))4 )−−
)2%3.),− (2%∃))2
−)% ∃),− % ∃3/− %4
−2)),−2.)))−
(.)∃). −)2)∃?)
∃.∃∃)−2
− )∃) . 1; . − %4 ,
2−) ))∃)−%)3∃−22∃.
.)%2.∃ )∃4∃Α−242%
) ?)2,− , ?Α)%4 .. ?∃ 2
) 2. ) ) + ( 2 ) )
)∃) . 23 , 1; . ) %4
2∃ ), ,−− ) . )4
?∃− , , 2) / .
2) 2. ), , 2. ∃. ,
)4%∃2)∃))).∃.,4?∃−
2− ∃ . ) %2
.%2.∃ ∀
+ ) ∃),,2 )−)./− ∃
)4 4?∃.) )22. /
,)) 2∃, )), 1;. (4 .%4)
− Α)2 ∃. ∃ 24 . / , ) 2 ) 2) ∃
2.)
∀ Η )∃) ) 1; .−2 . 2) ∃4
∃ ?∃ , 2 ) − ∃∃) ∃ )
) ) 2) ∃. 2:) () ,− / − 2 )
2:)) Α2 2) 2% .) ?∃ − , 4 ∃
Α−24) ∀∃ 2)∃. 6∃. 2 )
62)∃..1%.
+&
?)9 )−2 − % ) 9 . 22
2,−. =>) )78?)2,− )&∃
2%)%∃ 2,−.)?) −)%
.∃. ∃−−. −∃)∃2∃
) − Η94 % ,,∃ ,,, )−∃)
)& − / 2, −∃ ?∃ .)
2% − 2− )− 9 2,− . −∃
% ∃ ?) & %4 ) ), −
.) − 22 )) %2. ∃ 4 2)
2) % ),− . ∃−∃) %2− )4
)2∃ ∃, − 2% 22∃. )
−/)&∃
(2%)%2)∃) −.?∃
. .9 2 ( )∃) −2) ∃∃ 2 ∃
, (∃ )∃)%% )∃− ∃
?∃ 2%) ).2) ?∃), ()∃)
%% ), ) ∃ ?∃ )−2. )
22∃ ()2∃)) ) .−)
))%))∃).9.2Α)∃−
−∃ ?) ∃. ( ) )∃)
1;.4 .%4%% ) ,, ∃, ), 7))
:)) 2 ), − 2 )8 ,
−7 )) )8 ( ∃) )∃− ,, /
2 )4 ∃Α −24− % % ) 2)) ∃∃) )2 ∃
?))) (∃2)∃) ∃?∃
,,4,−) ,∃6
,% ( ∃)∃)−)3 ,,%?,
2,− −9 ∃ ?) .94 ) ∃−
?) .9 ∃ ,4 ∃) ) ∃− ,, )
2−−%%2))∃∃))2∃?))
)+∃ ∃∃.) %Κ2
%4 ,,∃) + 22 )3 )−2 . ,
) 22 2%22, )3
)−2 . , , ∃ 72%, ) )8
)) /− 7, ∃, ,,8 (24 .%4.
− − 22∃ 4 )+ . ,, ,
?∃)) )−2., 2%) )4%∃ .
,−4∃2##... 2) ,#)#)?)2 Α
& (/−.22.,?))9)
%4)&7878∃−.−)9?)
.−)−4−∃)
62)∃..1%.
+!
,), ,−9 ∃) )4− −9
) +2% ∃ )−2. ,∃
Ε), , , , ) 2 ) Ε)−2
2))∃−,?)) − 4
) + , ) )) , %
)) ,)−2. ,−2
(,,∃) +−2% −2Α)∃)
∃ )−2 . ))−2 ∃−)%,
)) !
Λ..) +2 .Κ∋ .,−4 .
2%)).))%22) .% ∆ −−4,
. ,−4 . 2%∃ %∃ ))42%
)), 2 % , ) % ≅ )), 2)2 ∃
%4 )−∃) .∃2∃ )). ,,.∃2
)+∃− )2%∃∃
) % ,)), ,, ∃) +4 )
2)%3 )−2. )∃) −− ∃
,)% ).94,∃ .)%−)−2 .
)∃ ) ∃)4) 2)% 2,))4
/ ∃∃) 2) . ) . 22) .
)∃),. =%4∃∃ −%−).2)%
2∃)−∃))∃)
! Ι .) 14 2 ) ), ∃. 6− ) 2 . ∀& 7+!8
72, 22% %+ ∃ − . 9− ∃2
∃,−%9 2% )2 2, , 8 (
2 ∃ % + ∃ − )) . 2) , −2 ∃ 2
, ( ,, ∃ %∀ ∃ 4.%4 2 )Α ∃ ) ,
) )−2,. , ∃ 4. − −2 −Α) ∃
)7%. ) / 2 )−2 . )8. ,
%9)
∋ Η)∃) ∃∃)∃ )+ .42 ,, )∃)
. 1;. ., ?) 6Α−24
:)2%∃,) ∃−,?∃∃.2 −,
:)∃)∃,) )).)−2Α/∃,∃,.
∆ )∀ ∃ . ∃) Ε ∆∀7 . ∃)8 ( )9 / ∃
.))) ) %42)2∃2∃)
.9 ∃∃% −)∃− 2)2∃ 2∃ )) (=Μ
100=Β=4Ν0Λ>Μ(ΜΝ1Β42,4+ +≅4!∆∀
≅ ) ∀ ∃ .∃ ) 2% ,)) − % %4
).+∋≅ 784 /∃. 2))) %2 23
( ) ∃) 2 ∃ ∃ / 2)) −2)4 .%4
)/)?∃)−2% ,,, )
))2 (1;. Α2 ∃∃)∃) 7,
)228 , %∃ . 6 Α−241; . Α22%
),%∃ 1;.. =%4)))− −%
)∀ ∃) . Α))−2 ∆ 4)&! ∃1; .
2%%∃.−/−, −24−
2) %∃− ,∃ ,− 4 − 2−2
−∃− ?∃)−2 2)∃ )−)∃)% ∃−, ∃
2) Η ) . , , −− )4) Ι7∋8
62)∃..1%.
+∋
Η22∃ ).9 )%%∃ )+Κ64 )
. − ∃ , ) ) ≅ ∃ Α2
2% −2 22, −∃ .9 % ∃ ) .
−)− , 4) +. − ∃∃)
, ∃ .−)2 ∃ ).9 ) ∃ 2%
ΦΓ)− )% ) .94 )2−) )% )∃−
, ) 4−∃4 22, .94 :) ) )
∃∃ . .))% % ,
) .9 4) ≅2% ΦΓ− ∃ ,
) − ) ∃ 2. % )% )2 ,
∃− ) )4 −).− )2)
)% 22) , 4 %∃ ) + 2 ∃
.92))2 42).2)2 )
, ) ∃ )4 ∃∃) ) ) ∃), )
,%∃22).
∃ / ))) 2%22∃ )+ (
) . ) + 2 ?% ) .4
)),)+ )− 2)9)−, ,,
) −2 Α) ∃ , ∃ )
∃)4 . ∃ 4 )) :) )4
, , ) ( ∃∃) 2 ∃ % ?
%) . % %2, :) 2)∃) ∃)
))−) 4 ) ., ,% ∃∃) . ∃ 2
)),%∃2%,−
− − 222 ) ) + ?% )4 )
,∃)).94− ,
.9 ), . ∃ , +) +∃
.∃ ).9, ).− ∃) )4
, ) )−2. − ∃ 7 )
.9.)−2,. 22))84 ∃∃)∃) +
−9,.).9 +
, 2. )) − ))−) ∃, ?
∃)−2 ,,) 4∃ )&∆ ∃1;.
2% % . ∃ 9.?. % ∃ 1; . ) :)
−2−
+ −4 ∃ ,2 ) + 2)∃) . ∃
, ∃).))+ −2) )∆∃ 2%
Α−2∃. )+?%) 22 ,) )
∆2%∃)−∃.−∃2% )),%)
,∃∃))),−4%.,) 22).−)22Α−
.%∃)% )).,−4. −2∃))−2
)2∃,−∃∃
+ ( ,∃)+ −?% )−2 2,)∆∃ %
62)∃..1%.
+∆
(4. 2) )4−./ ,)−4
, .4 − 2)∃ ,% .
∃ 2)∃):) ++ ))2 2 ∃,2 ∃∃
% :)4. 2 ∃)∃), .) .∃ −
∃:) ( )4%., 2)∃))∃)− .
) .4 ,, Ο 22) ) )∃)4 . 2
/ )22)− . 4%,
/∃ 2− .∃ ) ∃ )∃) .)) ∃)
))−) +∀
)
+ ∃ 4.)) % ∃)+ 7.)) 2 ?
% )8 . % ) Α ))−2, & .
,∃ ) + %∀4 ∃∃) ∃ . −. ))) %+ −
.,∃%.),,,∃
++ 6 ∃.64 %∀ ) ) ∃14 ∆4 % ,2%∀ ∃∃ ,#,2∀?
+?−92? 2∃7,))∃.)2)∃ ))−∃∃−
))?22)%2∃6∃.6)−2.8
+∀ )−−%22)∃). ). ))∃).∃
)/ )+ 14+ ∀+42 %+/−
).9 ),)2)∃). )
. ) ∃ %∀−2 −/− )%− −2 )∃4 4
), ∃Α) ∃, ) Ι ∗∃ + ,!&∋∆
6 ∀& 7∆ +∋87, ΦΓ 2?) ∃.% , ∃∃−
.8 /−∃ .)%, 22. ,)∃) )4
2) )Α ∃ 2 ) ),4 . ∃∃) 2) . ) +
2))−)
62)∃..1%.
+≅
62)∃..1%.
(22.262)∃..
Review, Volume 4, Issue 1 (March 2012) ,22
2##... ∃ ,
())∃.
−407++8334
∋−..∀/∃478, pp 19 - 28
DOI: 10.5033/ifosslr.v4i1.63
Copyright © 2012 Eli Greenbaum.
())%−−>Π70,Η8+
))4%%.944?ΙΜ?=%
2##)%)−− ,#)#?#+ #9#
2)Α)24Α22−∃∃∃
)−,,42%,7.)−
)89 (2,22∃
224−).)2,,22
