 There are two major types of multiple contraction. In package contraction, all elements of the input set are retracted: they have to go in a package. In choice contraction it suffices to remove at least one of them. Hence, the success conditions for the two types of multiple contraction are as follows: