bound(p)