Membership oracle still missing