dna::operator-