contradiction exception message