mutable exists_list = el