p(a and b)