P(not A)