Evaluating p39 : (a(A),a(s),b(s))
a(s) is: undefined (OK)
b(s) is: undefined (OK)
