adding contradiction checks back in