Interesting class of data structures with funny properties. Looks like there's a lot to do with them.
