Evaluating p46 : q
p(a) is: undefined (OK)
p(b) is: true (OK)
q is: false (OK)
r is: true (OK)
