lim_filter ((# dblseq_ex_1),(Frechet_Filter [:NAT,NAT:])) = {}