infinite descending chains