fix contradiction