add contradiction