true(p)