!empty implies isset