Seminar on "Business Constraint Monitoring and Operational Support" at the Eindhoven University of Technology (the Netherlands), 29/07/2010.

1. !"#$%&##'()%#*+,$%*'-)%$*)+$%.'
,%/'01&+,2)%,3'4"11)+*'
-,+5)'-)%*,3$'
'
'
67,%8#'*)9'
:$3';,%'/&+'<,3#*',%/'-,=,'>&#$5''
?,@+$A$)'-,..$B'<+=,%'-))$=B'C)D5&'E,8,*"F@,',%/'-$57,&3':&#*&+.,,+/'

2. 0"*3$%&'
G -)%$*)+$%.'!"#$%&##'()%#*+,$%*#'
H -)/&3$%.'5)%#*+,$%*#I'#*,*&#'
H ()%#*+,$%*'J%#*,%5&#'
H E"F@&+')K';$)3,2)%#'
H L",%2*,2;&'2F&',#1&5*#'
G J%*&.+,2)%'$%#$/&'>+)-'M'
H 01&+,2)%,3'#"11)+*'1+);$/&+'
H ("++&%*'$##"&#',%/')%.)$%.'N)+8'
'

3. O"%P2F&'Q&+$R5,2)%'
model
yes
no
partial
trace
Run-time
Verification
Q&+$KD'N7&*7&+','1,+2,3B'
+"%%$%.'*+,5&'5)F13$&#'N$*7'
,'#&*')K'@"#$%&##'5)%#*+,$%*#'
,%/'1+);$/&'+&3,*&/'$%K)#'

4. -)%$*)+$%.'
model
partial
trace
refuse
order
confirm
order
state of
affairs
alarms
warnings
Monitoring
commit
order
0..1
6+,58','1,+2,3B'+"%%$%.'
*+,5&',%/'+&1)+*'7)N'$*'
,S&5*#'*7&'@"#$%&##'
5)%#*+,$%*#'

5. Q&+$R5,2)%';#'-)%$*)+$%.'
G !)*7'/&,3'N$*7','1,+2,3B'.+)N$%.'*+,5&'
H E)%P/&R%$2;&',%#N&+#B'*7+&&P;,3"&/'#&F,%25#'
G Q&+$R5,2)%'!';$)3,2)%#',#'3).$5,3'$%5)%#$#*&%5$&#'
H 67&';&+$R&+'#*)1#'N7&%'*7&'R+#*';$)3,2)%'$#'/&*&5*&/'
G -)%$*)+$%.'F"#*'$%#*&,/'1+);$/&'5)%2%")"#'#"11)+*'
H 67&'+"%%$%.'#D#*&F'5,%%)*'@&'5)%*+)33&/'
H Q$)3,2)%#'F"#*'@&'5,".7*',%/'+&1)+*&/'
T 6)'$%K)+F'*7&'+"%%$%.'#D#*&F'
T 6)'*+$..&+'K"+*7&+'@"#$%&##'5)%#*+,$%*#'U&V.V'5)F1&%#,2)%#W'
H Q$)3,2)%#'5)"3/'@&'X5)"%*&/Y'
T 6)'F&,#"+&'*7&'X7&,3*7Y')K'*7&'+"%%$%.'5,#&'

6. O&#1)%#&'()%#*+,$%*'
G 67&'5)%#*+,$%*'$#'$%$2,33D'!"#!$%&'
G :7&%'!'$#'&Z&5"*&/B'*7&'5)%#*+,$%*'X*+$..&+#Y'@&5)F$%.'(%)&*)+'
G 67&%B'$K'"'$#'&Z&5"*&/',%/'*7&'5)%#*+,$%*'$#'1&%/$%.B'$*'@&5)F&#'
!"#!$%&',.,$%'
G JK'*7&'5,#&'$#'*&+F$%,*&/',%/'*7&'5)%#*+,$%*'$#'(%)&*)+B'$*'
@&5)F&#',*-."/%&''
a b
[;&+D'2F&'!'$#'&Z&5"*&/B'"'F"#*'@&'
&;&%*",33D'&Z&5"*&/'

7. <"*)F,*,P@,#&/'Q&+$R5,2)%'
a b s0 s1
a
b
¬ a ¬ b
' U,''◇@W' '

8. <"*)F,*,P@,#&/'Q&+$R5,2)%'
a b s0 s1
a
b
¬ a ¬ b
' U,''◇@W' '
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
]'
,'
^' _' `'a'
#*,+*' @',' ,'
b'
&%/'
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
s0 s1
a
b
¬ a ¬ b
#!$% #!$%&'()% &'()% &'()% *+,-%
4*,*&'
@,#&/'

9. E&.'O&#1)%#&'()%#*+,$%*'
G 67&'5)%#*+,$%*'$#'$%$2,33D'!"#!$%&'
G :7&%'!'$#'&Z&5"*&/B'*7&'5)%#*+,$%*'X*+$..&+#Y'
+&F,$%$%.'#,2#R&/B'@"*',3#)'0-12*&&*)+'*7&'&Z&5"2)%'
)K'"%
G 67&%B'$K'"'$#'&Z&5"*&/'*7&'5)%#*+,$%*'@&5)F&#',*-."/%&'
[;&+D'2F&'!'$#'&Z&5"*&/B'"'5,%%)*'@&'
&Z&5"*&/',c&+N,+/#'
a b

10. <"*)F,*,P@,#&/'Q&+$R5,2)%'
' U, d@W' 'a b s0 s1
a
¬ a ¬ b

11. <"*)F,*,P@,#&/'Q&+$R5,2)%'
]'
,'
^' _' a'
#*,+*' @','
#!$%
6+,%#$2)%'
@,#&/'
' U, d@W' 'a b s0 s1
a
¬ a ¬ b
s0 s1
a
¬ a ¬ b
s0 s1
a
¬ a ¬ b
#!$%
"%.,/"+))'(%
s0 s1
a
¬ a ¬ b
#!$%
"%.,/"+))'(% *+,-%
s0 s1
a
¬ a ¬ b
`'
,'
b'
&%/'

12. ()%#*+,$%*#'X5)F1)%&%*#Y'
G >)#$2;&'5)F1)%&%*'!'&Z1&5*#'#)F&*7$%.e'
H !&5)F&#'1&%/$%.B'N,$2%.'K)+'*7&'&Z&5"2)%')K'#)F&',52;$*D'
H >&+F,%&%*3D'#,2#R&/'N7&%'*7&'&Z1&5*&/',52;$*D'$#'&Z&5"*&/'
H Q$)3,*&/'$K'#233',52;&',*'*7&'&%/')K'*7&'5,#&'
G E&.,2;&'5)F1)%&%*'!'K)+@$/#'#)F&*7$%.e'
H :7&%'X,52;&YB'K)+@$/#'*7&'&Z&5"2)%')K'#)F&',52;$*D'
H Q$)3,*&/'$K'*7&'K)+@$//&%',52;$*D'$#'&Z&5"*&/'
H >&+F,%&%*3D'#,2#R&/'$K'*7&'&%/')K'*7&'5,#&'$#'+&,57&/'N$*7)"*'
;$)3,2%.'$*'
G ()F1)%&%*#'f'5)%#*+,$%*#'K,F$3$&#'
H 67&+&',+&'+&3,2)%'5)%#*+,$%*#'N$*7','%&.,2;&'5)F1)%&%*'
H 67&+&',+&'%&.,2)%'5)%#*+,$%*#'N$*7','1)#$2;&'5)F1)%&%*'

13. [Z,F13&#'
G [Z$#*&%5&'5)%#*+,$%*9'1)#$2;&'
G O&#1)%#&'5)%#*+,$%*9'1)#$2;&'
G E&.,2)%'+&#1)%#&'5)%#*+,$%*9'%&.,2;&'
G >+&5&/&%5&'5)%#*+,$%*9'%&.,2;&'UgW'
H ?"*"+&P*&%#&'$%*&+1+&*,2)%9'*7&'*,+.&*',52;$*D'$#'K)+@$//&%'"%23'*7&'
#)"+5&',52;$*D'$#'&Z&5"*&/'
G <3*&+%,*&'+&#1)%#&9'1)#$2;&h%&.,2;&'
H O&#1)%#&'1,+*9'1)#$2;&'
H <3*&+%,2)%'1,+*9'%&.,2;&'
T :7&%'*7&'#)"+5&',52;$*D'$#'&Z&5"*&/B'$*'@&5)F&#'K)+@$//&%'"%23'
*7&'*,+.&*',52;$*D'$#'&Z&5"*&/',#'N&33'

14. [;&%*'(,35"3"#'
G <'K+,F&N)+8B'@,#&/')%'?$+#*'0+/&+'i).$5B'K)+'
+&,#)%$%.',@)"*'2F&B'&;&%*#B',%/'*7&$+'&S&5*#'
G >+)1&+2&#'*7,*';,+D');&+'2F&'Uj"&%*#W'
G ?3"&%*#I';,3$/$*D'$#'F,%$1"3,*&/'@D'*7&'&Z&5"2)%')K'
&;&%*#'
H 67&D'$%$2,*&k*&+F$%,*&'j"&%*#'
G 6$F&'$#'F)/&3&/',#',%'&Z13$5$*';,+$,@3&'
G O&,52;&'[;&%*'(,35"3"#'
H <Z$)F,2A,2)%')K'*7&'[(')%'*)1')K'4(J??'
H 67&'4(J??'>+))K'>+)5&/"+&'5,%'@&'"#&/'*)'F)%$*)+','+"%%$%.'5,#&B'
/D%,F$5,33D'"1/,2%.'*7&';,3$/$*D')K'j"&%*#'

15. [;&%*'(,35"3"#P@,#&/'-)%$*)+$%.'
G >)#$2;&',%/'%&.,2;&'5)F1)%&%*#'F,11&/')%*)'j"&%*#'
H !/"/3!4*)!/")5%6(%)&*)+7'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'1&%/$%.'
T (,%'@&',##)5$,*&/'*)'l",%2*,2;&'2F&'5)%#*+,$%*#9':m[E'*7&'5)%#*+,$%*'
F"#*'@&'#,2#R&/'
H !/"/3!4*)!/")5%6!"#!$%&7'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'#,2#R&/'
H !/"/3!4*)!/")5%60-12*&4877'
T ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'K)+@$//$%.',52;$*D'<'
G Q$)3,2)%#'&Z13$5$*3D'$/&%2R&/',%/'*+&,*&/',#'#1&5$,3'j"&%*#9'
XN$*7'*7&'3).$5B'%)*'$%'*7&'3).$5Y'
H !/"/3!4*)!/")5%6,*-."/%&7'
T ()%#*+,$%*'$%#*,%5&'$#';$)3,*&/'U&V.V')55"++&%5&')K','K)+@$//&%',52;$*DW'

16. E&.'O&#1)%#&'()%#*+,$%*'
G [;&+D'2F&'!'$#'&Z&5"*&/B','%&.,2;&'5)F1)%&%*'
K)+@$//$%.'"'$#'$%#*,33&/'
G !"*'!'5,%'@&'&Z&5"*&/'F"3213&'2F&#e'
'!':7,*',@)"*';$)3,2)%#n'
[;&+D'2F&'!'$#'&Z&5"*&/B'"'5,%%)*'@&'
&Z&5"*&/',c&+N,+/#'
a b

17. m)N'F,%D';$)3,2)%#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
@' @'
a b ' U, d@W
d@
d@
d@
d@'
d@'
,' ,' ,'
d@'

18. m)N'F,%D';$)3,2)%#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
@' @'
a b ' U, d@W
d@
d@
d@
d@'
d@'
,' ,' ,'
d@'

19. ()%#*+,$%*'J%#*,%5&#'
G 4)F&'()%p&5'5)%#*+,$%*#'*+$..&+'0-1'%,%19'
-55311%)5%')K'*7&'#)"+5&'
G [,57'#)"+5&')55"++&%5&'$#'/$S&+&%*'K+)F'*7&'
)*7&+#'
H m,#'$*#')N%'2F&#*,F1'
H m,#'$*#')N%'/,*,'
'!''[;&+D'2F&'*7&'#)"+5&')55"+#B',%'*)!/")5%')K'*7&'
'5)%#*+,$%*'$#'5+&,*&/'
' 'Q$)3,2)%#',+&'*+&,*&/',*'*7&'$%#*,%5&'3&;&3'

20. m)N'F,%D';$)3,2)%#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
[,57'$%#*,%5&'$#',##)5$,*&/'*)'*7&'*"13&'
q5)%#*+,$%*r$/B*+$..&+$%.r2F&s'
K)+@U@W'
;$)3U]W' ;$)3U_W'
K)+@U@W'
c
;$)3U]W'
K)+@U@W'
;$)3U]W'
a b
$U5B]]W
$U5B]oW
$U5B_`W

21. L",3$*,2;&'6$F&'
G i6i',/)1*#','l",3$*,2;&'
F)/&3')K'2F&'
H O&3,2)%#7$1#'@&*N&&%'2F&'
1)$%*#'
H E)'/$#*,%5&'%)+'F&*+$5#'
G <'*+$..&+&/'+&#1)%#&'
5)%#*+,$%*'N$33'*)&%$)*/%.9'
N,$*'K)+'*7&'&Z&5"2)%')K'$*#'
*,+.&*'U◇ #&F,%25#W''
H :7,*',@)"*'/&,/3$%&#n'L)4'
2F&3$%&##'+&l"$+&F&%*#n'

22. L",%2*,2;&'6$F&'
G <'F&*+$5'57,+,5*&+$A,2)%')K'2F&'$#'
%&&/&/'
H L",%2*,2;&'2F&'5)%#*+,$%*#'
G J%'*7&'*&F1)+,3'3).$5#'#&t%.'
H -&*+$5'*&F1)+,3'3).$5#'
G J%'*7&'3).$5'1+).+,FF$%.'#&t%.9'
&Z13$5$*'2F&'
H 6$F&',#','X;,+$,@3&Y'N7$57'5,%'@&'
X5)%#*+,$%&/Y'U#&&'[;&%*'(,35"3"#W'
H 0+1+-!/%!&&/,!23%.,/%,$3'/%*!/+!"-'#%
4)!$!5%

23. m)N'F,%D'5)++&5*'$%#*,%5&#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
[,57'$%#*,%5&'$#',##)5$,*&/'*)'*7&',5*",3'2F&'
N$%/)N9'U*u^B*uov'
1&%/'
1&%/'
1&%/'
#,*'
#,*'
;$)3'
_w'
5'
$U5BU]oB_MvW'
$U5BU]]B]xvW'
$U5BU_`Ba_vW'
a b
(0..8]
c

24. -)%$*)+$%.'O&#"3*'
a b
(0..10sec]

25. i6i'U<"*)F,*,W';#'UOW[('
:;:'<'83/-="/"' 4>7?@'
Q&+$R5,2)%' O"%P2F&'(7&58$%.' -)%$*)+$%.'
[Z1+&##$;&%&##' L",3$*,2;&'*&F1)+,3'
5)%#*+,$%*#'
L",3$*,2;&',%/'l",%2*,2;&'2F&'
5)%#*+,$%*#B')*7&+'/,*,'U;,+$,@3&#gggW'
()F13&Z$*D' <P1+$)+$'5)%#*+"52)%')K'
*7&',*)F,*,'
<*'+"%P2F&9'#1,5&'K)+'
#*)+$%.'*7&',"*)F,*,B'
+&,#)%$%.'2F&'3$%&,+'$%'
*7&'3&%.*7')K'*7&'*+,5&''
E)'5)%#*+"52)%')K'$%*&+F&/$,*&'K)+F,*#'
U#F,33'#1,5&W'
<*'+"%P2F&9'+&,#)%$%.'$%;)3;&#'*7&'
5)F@$%,2)%')K',33'[(',Z$)F#'N$*7'&;&+D'
&%*+D')K'*7&'*+,5&V'-"57'F)+&'&y5$&%*'$K'
*7&';&+$R&+'$#'"#&/'$%','+&,52;&'F,%%&+'
i))8'<7&,/' (,%'K)+&#&&'"%,;)$/,@3&'
;$)3,2)%#'U,"*)F,*)%'
K)+'*7&'N7)3&'F)/&3W'
'
'
'
(,%'/&*&5*',';$)3,2)%')%3D'$K'$*'$#'&Z13$5$*3D'
5)%*,$%&/'$%'*7&'*+,5&'
a b c
0
?)+@$//&%g'A-12*&&%)B'

26. J%*&.+,2)%'$%#$/&'01&+,2)%,3'
4"11)+*'

27. O&,52;&'[('>+);$/&+'
REC Provider
CLIMB model
(extended Declare)
CLIMB
Importer
extended Declare
XML file model
REC Core
Provider
CLIMB2EC
Translator
EC-based constraints
axiomatization
EC theory
Operational
Support
-,+5)'-)%*,3$V'41&5$R5,2)%',%/'Q&+$R5,2)%')K'
p&53,+,2;&'01&%'J%*&+,52)%'-)/&3#9','i).$5P!,#&/'
<11+),57V'iE!J>'bMB'41+$%.&+V''

28. O&,52;&'[('>+);$/&+'
REC
Provider
EC-based constraints
axiomatization
REC
Engine
SWI
Prolog
SCIFF
socket
Operational
Support
Trace
Translator

29. (3$&%*'

30. O[?[O[E(['
-0p[i'<'
O[?[O[E(['
-0p[i'!'
O[?[O[E(['
-0p[i'('

31. >+);$/&+'J%#*,%5&#'
>J'
>J%
>J%
>J%
>J%
>J%
>J%
()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'`
(,#&']
(,#&'_
(,#&'a
(,#&'`
(,#&'b
(,#&'M
(,#&'w

32. ("++&%*'JF13&F&%*,2)%'
>J' >J% >J% >J%
()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'`
(,#&']
(,#&'_
(,#&'a
(,#&'`
(,#&'b
(,#&'M
(,#&'w

33. 4*,*&3&##';#'4*,*&K"3'>+);$/&+'
>J'
()%#*+,$%*#'F)/&3']
(,#&']
(,#&'_
(,#&'a
(,#&'`
(,#&'b
(,#&'M
(,#&'w
• 4*,*&3&##'1+);$/&+'
– (,%'#&,F3&##D'#&+;&'/$S&+&%*'53$&%*#'
– -"#*'+&#*,+*'+&,#)%$%.'K+)F'#5+,*57'&;&+D'
2F&','+&l"&#*'$#'+&5&$;&/'
• J#'*7$#'+&,33D'F)%$*)+$%.nnn'
• 4*,*&K"3'1+);$/&+'
– (,%'&Z13)$*',%/'&Z*&%/'*7&'1+&;$)"#3D'
5)F1"*&/'+&#"3*'
• E)'%&&/')K'+&5&$;$%.'*7&'N7)3&'1,+2,3'*+,5&ggg'
– -"#*'F,$%*,$%','#&1,+,*&'#*,*&'K)+'&,57'
+"%%$%.'5,#&'
• -"3213&'$%#*,%5&#')K'*7&'+&,#)%&+k,"*)F,*)%'
• 4&##$)%#'
'!' '4*,*&'F,%,.&/'@D'*7&'1+);$/&+')+'@D'
'*7&'04'4&+;$5&n'

34. >+);$/&+I#'Q$#$@$3$*D'
>J' >J% >J% >J%
()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'`
(,#&']
• 4$%.3&'1+);$/&+#',+&'%)*';$#$@3&'K+)F'*7&';$&N1)$%*')K',%'04'53$&%*'
– J*'#$F13D'$%*&+,5*#'N$*7'*7&'04'4&+;$5&'
! J*'$#'%)*'1)##$@3&'*)',##)5$,*&','5,#&'N$*7','#1&5$R5'1+);$/&+'
! 67&+&'$#',3#)'%)';$#$@$3$*D')K'*7&'1+);$/&+I#'$%1"*#',%/'F)/&3#g'
• :7)'$#'$%'57,+.&')K'
– (7))#$%.'*7&'$%1"*'F)/&3'U&V.V'@"#$%&##'5)%#*+,$%*#Wn'
– 4&t%.'*7&'1,+,F&*&+#'U&V.V'2F&'.+,%"3,+$*DWn'
• m)N'5,%'*7&'53$&%*',55&##'*7$#'$%K)+F,2)%#n'

35. J%*&+,52)%'>+)*)5)3'
G ("++&%*3D'
G >)##$@3&'&Z*&%#$)%#'
Client OS
O&l"&#*'CD*&6@*&6/1"5%E'
O&l"&#*'CD*&6@*&6/1"5%F!%+=%)/E'
z1/,*&'+&#"3*CD*&6@*&E'
(,#&'R%$#7&/CD*&6@*&E'
Client OS
session

36. 01&+,2)%#']k_'
G O&l"&#*'@D'q>$/B($/s'K)+','@"%57')K'&;&%*#'
H G)51%=%)/".',11+),579''
H JK'q>$/B($/s'$#'"%8%)N%B','#&##$)%'$#'5+&,*&/'
H 67&'#&##$)%'$#'"#&/'*)'
G 4*)+&'*7&'5"++&%*3D'5)F1"*&/'+&#"3*'U1+);$/&+'#*,*&W'
G U)12)%,33DW'#*)+&'*7&'*+,5&'5)33&5*&/'#)'K,+'U$K'*7&'1+);$/&+'#*,*'/)&#'%)*'
#"y5&W'
H >+);$/&+#'5)F1"*&','+&#1)%#&'K)+'*7&'1,+2,3'*+,5&'
5)33&5*&/'#)'K,+'
G >,+2,3'*+,5&'{'"%$)%')K',33'@"%57&#')K'&;&%*#'

37. 01&+,2)%#'_k_'
G z1/,*&'+&#"3*'
z#&/'*)'.&*',%'"1/,*&/'+&#"3*'K+)F'*7&'1+);$/&+#B'&;&%'$K'%)'
K"+*7&+'&;&%*#'7,;&')55"++&/'#$%5&'*7&'3,#*'+&l"&#*'
H [V.V9'/&,/3$%&'&;,3",2)%'
H (,%'@&'+&/"5&/'*)','+&l"&#*'N$*7'&F1*D'&;&%*#'#&*'$K'+&l"&#*#'
,+&'X$%5+&F&%*,3Y'
G (,#&'R%$#7&/'
z#&/'*)'$%K)+F'*7&'1+);$/&+#'*7,*'q>$/B($/s'$#'5)F13&*&/'
H >+);$/&+#'#&%/','R%,3'+&#1)%#&'"%/&+'*7&',##"F12)%'*7,*'
*7&'*+,5&'$#'%)N'5)F13&*&'
G [V.V9'&;,3",2)%')K'1&%/$%.'+&#1)%#&'5)%#*+,$%*#'!'*7&D'@&5)F&';$)3,*&/'
H 67&'#&##$)%'K)+'q>$/B($/s'$#'/&3&*&/'
'

38. 04'_V^eVn'
G i,*&'@$%/$%.'
H 67&'53$&%*'Uq>$/B($/sW'5)FF"%$5,*&#','5&+*,$%'
X%&&/Y'U,@#*+,5*'+&l"&#*W'
H 67&'04'4&+;$5&''
G ?$%/#','5)%5+&*&'1+);$/&+',@3&'*)'5);&+'*7&'53$&%*I#'%&&/#'
G 5)%%&5*#'*7&'5)%5+&*&'1+);$/&+'N$*7'*7&'53$&%*'5+&,2%.','X#&##$)%Y'
@&*N&&%'*7&F'UF&/$,*&/'@$%/$%.W'
G 4&##$)%'
H m,%/3&#'*7&'#*,*&')K'&,57'1+);$/&+I#'$%#*,%5&'
H |&&1#'*7&'$%1"*'F)/&3#',%/'5)%R."+,2)%'1,+,F&*&+#'

39. 0%.)$%.':)+8'
G :7)3&',Z$)F,2A,2)%'u'&Z1&+$F&%*,3'&;,3",2)%'
G JF13&F&%*,2)%''
H ?$+#*'#*,*&3&##'1+)*)*D1&'+&,/D'
H 0%.)$%.'N)+89'+&,3$A,2)%')K','#*,*&K"3'1+);$/&+',@3&'*)'+&,33D'&Z13)$*'
*7&'+&,52;&'+&,#)%$%.'5,1,@$3$2&#')K'O[('
H ()"3/'@&'"#&K"3'*)'*&#*'*7&',+57$*&5*"+&')K'04'_V^'
G Q$#",3$A,2)%')K'*7&'5)F1"*&/'+&#"3*#'
H z#,@$3$*D';#'%"F@&+')K'$%K)#'
H p$S&+&%*'+&#"3*#'K)+'/$S&+&%*'+)3&#'UN)+8&+B'F,%,.&+B'eW'
H ?$%/','#"$*,@3&'*+,/&P)S'@&*N&&%'X3).$5,3Y';$)3,2)%#',%/'"#&+I#'K&&3$%.'
G <##&##F&%*')K'04'_V^'
G O&3,2)%#7$1#'N$*7'5)F13$,%5&B',"/$2%.',%/'.);&+%,%5&'
U#)5$,3'5)FF$*F&%*#W'

40. say goodbye
answer questions
1..*