Evaluating p29 : w(0)
u(0) is: false (OK)
w(0) is: true (OK)
