abc+abd=ab finished