CONTRADICTION IN TERMINIS