finished conditionals for d-type