Alltså en tillökning af.~P:d