Replace with `!empty($pos)`?