p\geq 0