M-Contradiction view 3