Evaluating p47 : p
l is: false (OK)
p is: true (OK)
q is: false (OK)
