p is false
p(0) is true
p(1) is false
