History -- not satisfied by IntSet

Objects as Behavioral Types