Uniqueness of Unbounded Occupied and Vacant Components in Boolean Models | Synapse