with no multi-matching assumption