History property -- not satisfied by $IntSet$

Objects as Behavioral Types

slide: History properties -- example