You could also use:

PHP Code:
if (isset($_POST['residence_hall']) && $_POST['residence_hall'] == '') { 
as:

PHP Code:
if (isset($_POST['residence_hall']) && zen_not_null($_POST['residence_hall'])) {