fix ever_member_of