; p ≤ 0