contradictionis