[else_memb_has_membership]Yes