den abstracta motsättningen mellan tvennelogiska