From contradiction, non-contradiction.