p(c), p(d) and improvements for p(c|a, b), p(d|c)