aliens_exist‘s Following are private.