https://azpdf.net/document/zpnvlpro-uniqueness-unbounded-occupied-vacant-components-boolean-models.html