!isset($something) implies empty($something)