notes on sets and frozen sets