Proper sets. If any.