correct implementation of C and D contradictions
correct implementation of C and D contradictions

erindb/explanations-reboot,erindb/explanations-reboot,erindb/explanations-reboot,erindb/explanations-reboot,erindb/explanations-reboot