degP 0 is -∞ (here Nothing)