If C and D are both true, then A is true.