Evaluating p18 : p
p is: true (OK)
q is: true (OK)
r is: true (OK)
