(if b were P)