소거, 일반화 

및 변별