notes on misunderstanding, in Set() constructor, only match (fst lv) is not enough