complexity from match to dl. Not finished