outline of contradiction