p(c|a), p(c|b) and exceptions