Evaluating p20 : a
a is: false (OK)
b is: false (OK)
c is: true (OK)
