add remaining specs
import multiset