Removed all sorries from multiset calculation chain