`!regions.isEmpty()`?