in progress filter_merge (two lemmas)