value(p,true)
value(q,false)
value(r,true)