つまり同じアイディアなのに言い方が全く異なるという対象をマッチング・列挙・不存在証明出来る