Missing hard constraints (p = 0 or p = 1)