Evaluating p23 : (d,p)
a is: undefined (OK)
b is: undefined (OK)
c is: true (OK)
d is: undefined (OK)
p is: false (OK)
q is: false (OK)
r is: false (OK)
s is: false (OK)
t is: false (OK)
