Hot: set-theory