reversed te logic of no witnesses