M-Contradiction view 1