`!keys.isEmpty()`?