¬Pp^