. , . .
, , ' , .
.
.
. . , . . , .
. () . . () . () .
[47]. , , .
, . . . , , . . , . . . . , . . . .
. , , , ( ). , , , , . , , , , , .
|
|
, , , , . , [31].
, , . , . , , . .
, , , , .
(, ) , .
. , .
. , . , .
: .
. .
(). , .
.
(requires) , .
(effects) , () .
:
();
();
().
() .
, .
, .
. .
|
|
, .
: - - [40].
- () . ( ), .