kontrol af modsigelser