potentially expensive branch eliminated