simple p(a) and p(b)