Failed. arc-membership