Example -- IntSet \not<= FatSet


slide: History properties -- example