ADD: finish algorithm without composition resolution