Text this: On DR-semigroups satisfying the ample conditions.